automaton_equivalence (327B)
1 # Automaton equivalence 2 3 - [pspace_complete] on [automata_nondeterministic] 4 - [ptime] on [automata_deterministic] 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]