Push-down automata
Redirect to:
Pushdown automaton