Embedded pushdown automata
Redirect to:
Embedded pushdown automaton