wiki_research

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

two_way_nondeterministic_pushdown_automaton (191B)

      1 # Two way nondeterministic pushdown automaton
      2 
      3 mentioned in [bringmann2024nfa]
      4 
      5 - [computational_problem]: [2NPDA_acceptance]
      6 
      7 Up: [automata_nondeterministic], [2PDA]
      8 
      9 Aliases: 2NPDA, 2NPDAs