pushdown_automaton =,pushdown_automaton . pushdown_automaton |=,PDA PDA
{
pushdown automaton (PDA)
Sub:
deterministic_pushdown_automaton =,deterministic_pushdown_automaton . deterministic_pushdown_automaton |=,DPDA DPDA
{
deterministic pushdown automaton (DPDA)