wiki_research

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

one_turn_pushdown_automaton (168B)

      1 # One turn pushdown automaton
      2 
      3 [k_turn_pushdown_automata] with k=1
      4 
      5 - [deterministic_one_turn_pushdown_automata]
      6 
      7 Up: [k_turn_pushdown_automata]
      8 
      9 Aliases: one turn PDA