universality_automata_nondeterministic (324B)
1 # Universality automata nondeterministic 2 3 [conp_complete] even on [unary_alphabet]: 4 - https://cs.stackexchange.com/a/97751 5 6 The shortest rejected word of an automaton with O(n) states may be Omega(n 2^n): cf [ellul2005regular], Theorem 32 7 8 Up: [universality_automata], [automata_nondeterministic] 9 10 Aliases: NFA universality