Finite state automata
Redirect to:
Finite-state machine