Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Myhill-Nerode equivalence

For a language , define
(37)
This is a right congruence, and its equivalence classes are the states of the minimal deterministic finite automaton for .

Ancestors (6)

  1. Myhill-Nerode theorem
  2. Formal language theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home

Incoming links (1)