wiki_research

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

automaton_cofiniteness (270B)

      1 # Automaton cofiniteness
      2 
      3 [ptime] on [automata_deterministic] by [complementation] and [automaton_finiteness]
      4 
      5 [pspace_complete] on [automata_nondeterministic]:
      6 - https://cstheory.stackexchange.com/questions/54090/complexity-of-nfa-cofiniteness
      7 
      8 Up: [automata_problems]