automata_complementation (356B)
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: [automaton_constructions], [complementation] 8 9 Aliases: automaton complement, automaton complementation 10 11 See also: [automata_complementation_practice]