universality_automata (341B)
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 8 - [factor_universal] 9 - [subword_universal] 10 11 Up: [computational_problem], [automata] 12 13 See also: [totality], [validity], [taulology]