wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

pushdown_automaton (427B)

      1 # Pushdown automaton
      2 
      3 [context_free_grammar_pushdown_automaton_equivalence]
      4 
      5 [determinism]: [pushdown_automaton_deterministic]
      6 
      7 - k-turn pushdown automata: limits the alternation between [push_operation] and [pop_operation]
      8   - introduced in [ginsburg1966finite]
      9   - mentioned in [ganardi2018sliding]
     10 
     11 - [universality_automata_pushdown]
     12 
     13 Up: [stack_automata]
     14 
     15 See also: [visibly_pushdown_automaton]
     16 
     17 Aliases: pushdown automata