Finite Automata

See FiniteStateMachine