factor_universal (376B)
1 # Factor universal 2 3 [automata] where every [word] is a [factor] of an accepted word 4 5 Testing if a [automata_deterministic] is factor-universal is in [ptime] via [synchronizing_word], cf [rampersad2009computational] Theorem 5 6 7 Testing if a [automata_nondeterministic] is factor-universal is [pspace_hard], cf [rampersad2009computational] Theorem 9 8 9 Up: [universality_automata]