language_equivalence (533B)
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]: [context_free_grammar_equivalence] 8 - [undecidability] 9 - on [pattern_languages]: [pattern_language_equivalence] 10 11 Up: [formal_language_computational_problem], [equivalence] 12 13 See also: [query_equivalence], [language_inclusion], [regular_expression_equivalence], [automaton_equivalence], [CFG_equivalent] 14 15 Aliases: language equivalent, language equivalence problem