Myhill-Nerode

Also known as Myhill-Nerode theorem. This is the canonical page; those names redirect here.

Pairings in the atlas

Equivalence-class countingstandardRegular language theory automata-languages

Rivals: other methods for the same problems

Pumping lemma test

Where it sits

automata-languages · Formal Languages & Compilers