language_equivalence (578B)
1 # Language equivalence 2 3 test if two languages are the same 4 5 - on [regular_languages]: [regular_language_equivalence] 6 - [pspace_complete] 7 - on [context_free_languages]: 8 - [context_free_grammar_equivalence_problem] 9 - [undecidability] 10 - [DPDA_equivalence_problem] 11 - on [pattern_languages]: [pattern_language_equivalence] 12 13 Up: [formal_language_computational_problem], [equivalence] 14 15 See also: [query_equivalence], [language_inclusion], [regular_expression_equivalence], [automaton_equivalence], [CFG_equivalent] 16 17 Aliases: language equivalent, language equivalence problem