automaton_equivalence (405B)
1 # Automaton equivalence 2 3 - [NFA_equivalence]: [pspace_complete] 4 - [DFA_equivalence]: [ptime] via [product_construction] 5 - [automaton_equivalence_pushdown_automaton] 6 - [automaton_equivalence_pushdown_automaton_deterministic] 7 8 Up: [automata_problems] 9 10 See also: [language_equivalence], [automaton_inclusion], [query_equivalence_problem] 11 12 Aliases: automaton equivalence problem, automata equivalence problem