Finite automaton
Redirect to:
Finite-state machine