wiki_research

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

myhill_nerode_equivalence (426B)


      1 # Myhill nerode equivalence
      2 
      3 For a [formal_language] L, the *Myhill-Nerode equivalence* is an [equivalence_relation] on [words] defined as follows: 
      4 two [words] are nonequivalent if they have a [distinguishing_extension]
      5 
      6 This is similar to [syntactic_congruence] but it only considers [right_extensions]
      7 
      8 Up: [dagstuhl_regular_expressions_matching_indexing_nicola]
      9 
     10 See also: [syntactic_congruence], [automaton_minimization]