universality_automata (376B)
1 # Universality automata 2 3 [computational_problem]: test if [automata] accepts every possible [word] 4 5 - [universality_automata_nondeterministic]: [conp_complete] 6 - [universality_automata_deterministic]: [ptime] 7 - [universality_automata_pushdown] 8 9 - [factor_universal] 10 - [subword_universal] 11 12 Up: [computational_problem], [automata] 13 14 See also: [totality], [validity], [taulology]