equivalence_problem (287B)
1 # Equivalence problem 2 3 - [language_equivalence] 4 - [query_equivalence] 5 - [automaton_equivalence] 6 - [regular_expression_equivalence] 7 - [Boolean_function_equivalence] 8 - [circuit_equivalence] 9 10 Up: [computational_problem], [equivalence] 11 12 See also: [equisatisfiability], [inclusion_problem]