wiki_research

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

k_turn_pushdown_automata (429B)


      1 # K turn pushdown automata
      2 
      3 limits the alternation between [push_operation] and [pop_operation]
      4 
      5 - introduced in [ginsburg1966finite]
      6 - mentioned in [ganardi2018sliding]
      7 
      8 subclasses:
      9 
     10 - [one_turn_pushdown_automaton]
     11   - [deterministic_one_turn_pushdown_automata]
     12 - [deterministic_k_turn_pushdown_automata]
     13   - [deterministic_k_turn_pushdown_automata_equivalence]
     14 
     15 Up: [pushdown_automaton]
     16 
     17 See also: [visibly_pushdown_languages]