universality_automata_pushdown_nondeterministic (339B)
1 # Universality automata pushdown nondeterministic 2 3 It is [undecidable] cf https://cstheory.stackexchange.com/questions/55099/the-complexity-of-the-universality-problem-for-deterministic-pushdown-automata 4 5 Up: [universality_automata_pushdown], [pushdown_automaton_nondeterministic] 6 7 See also: [universality_automata_pushdown_deterministic]