Push down automaton

Redirect to:

• Pushdown automaton