automaton_equivalence (477B)
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 Up: [automata_problems] 11 12 See also: [language_equivalence], [automaton_inclusion], [query_equivalence_problem], [regular_language_equivalence] 13 14 Aliases: automaton equivalence problem, automata equivalence problem