wiki_research

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

automata_complementation (236B)

      1 # Automata complementation
      2 
      3 - in [linear_time] for [automata_deterministic]
      4 - exponential lower bound on [state_complexity] for [automata_nondeterministic]
      5 - hard also for [word_automaton_unambiguous]
      6 
      7 Up: [complementation], [automata]