universality_automata_pushdown_deterministic (405B)
1 # Universality automata pushdown deterministic 2 3 It is in [PTIME], like [Universality_automata_deterministic] 4 5 cf https://cstheory.stackexchange.com/questions/55099/the-complexity-of-the-universality-problem-for-deterministic-pushdown-automata 6 7 Up: [universality_automata_pushdown], [Automata_pushdown_deterministic] 8 9 Aliases: DPDA universality 10 11 See also: [universality_automata_pushdown_nondeterministic]