automaton_inclusion (210B)
1 # Automaton inclusion 2 3 [pspace_complete] for [automata_nondeterministic] 4 5 [ptime] for [automata_deterministic] 6 7 Up: [automata_problems], [set_inclusion] 8 9 See also: [automaton_equivalence], [language_inclusion]