wiki_research

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

universality_automata_pushdown_nondeterministic (339B)


      1 # Universality automata pushdown nondeterministic
      2 
      3 It is [undecidable] cf https://cstheory.stackexchange.com/questions/55099/the-complexity-of-the-universality-problem-for-deterministic-pushdown-automata
      4 
      5 Up: [universality_automata_pushdown], [pushdown_automaton_nondeterministic]
      6 
      7 See also: [universality_automata_pushdown_deterministic]