Finite State Automaton

See FiniteStateMachine