automaton_inclusion (193B)
1 # Automaton inclusion 2 3 [PSPACE_complete] for [nondeterministic_automata] 4 5 [PTIME] for [automata_deterministic] 6 7 Up: [automata_problems], [language_inclusion] 8 9 See also: [automaton_equivalence]
![]() | wiki_researchpersonal research wiki |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |