The State Machine described in the document is a Finite Deterministic Mealy Machine, also referred to as a Deterministic Finite Automata or DFA.