automaton_equivalence (527B)
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 Special case: [automaton_universality] 9 10 Generalizations: [automata_weighted_equivalence] 11 12 Up: [automata_problems] 13 14 See also: [language_equivalence], [automaton_inclusion], [query_equivalence_problem], [regular_language_equivalence] 15 16 Aliases: automaton equivalence problem, automata equivalence problem