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]