wiki_research

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

universality_automata_nondeterministic (208B)

      1 # Universality automata nondeterministic
      2 
      3 [conp_complete] even on [unary_alphabet]:
      4 - https://cs.stackexchange.com/a/97751
      5 
      6 Up: [universality_automata], [automata_nondeterministic]
      7 
      8 Aliases: NFA universality