wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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