pushdown_automaton (437B)
1 # Pushdown automaton 2 3 [context_free_grammar_pushdown_automaton_equivalence] 4 5 [determinism]: [pushdown_automaton_deterministic] 6 7 Restricted cases: 8 - [k_turn_pushdown_automata]: limits the alternation between [push_operation] and [pop_operation] 9 10 [Computational_problems]: 11 - [universality_automata_pushdown] 12 13 Up: [stack_automata] 14 15 See also: [visibly_pushdown_automaton], [pushdown_automaton_two_way] 16 17 Aliases: pushdown automata, PDA, PDAs