Push-down automaton

Redirect to:

• Pushdown automaton