Teorema de Myhill – Nerode.

El teorema de Myhill – Nerode permite determinar cuándo un lenguaje no es regular,

nombrado así por John Myhill y Anil Nerode, quienes lo probaron en la Universidad de
Chicago en 1958.

- Teorema de Myhill-Nerode: Relaciones de equivalencia.

Una relación de equivalencia ≡ sobre Σ∗ es:

1. Invariante por la derecha: Si u ≡ v implica que ∀ z ∈ Σ ∗ se cumple uz ≡ vz

2. Invariante por la izquierda: Si u ≡ v implica que ∀ x ∈ Σ ∗ se cumple xu ≡ xv
3. De congruencia: Si u ≡ v implica que ∀ x, z ∈ Σ ∗ se cumple xuz ≡ xvz

Decimos que una relación de equivalencia sobre un conjunto C es de índice finito si genera
un número finito de clases de equivalencia. Ejemplos:

La relación x ≡ y si |x| = |y| es de congruencia pero no de índice finito. La relación x ≡ y si

cabeza(x) = cabeza(y) es de congruencia y de índice finito (ya que los alfabetos son finitos
y cabeza(x) es el primer símbolo de la cadena x).

- Teorema de Myhill-Nerode: Enunciado.

Dado un lenguaje L ⊆ Σ ∗ las tres siguientes afirmaciones son equivalentes:

1. L es regular.

2. L es la unión de alguna de las clases de equivalencia generadas por una relación ≡ sobre
Σ∗ invariante por la derecha y de índice finito.

3. La relación ≡L es de índice finito.

0
Demostración:

(1) implica (2) Dado un AFD M tal que L(M) = L tomamos ≡ como ≡M.

(2) implica (3) Probar que para cada u, v ∈ Σ ∗ se cumple u ≡ v ⇒ u ≡L v.

(3) implica (1) Construir un AFD ML a partir de ≡L tal que ML acepte L.