Finite automata
Redirect to:
Finite-state machine