Benemrita Universidad Autnoma de Puebla

RELACIONES DE MYHILL-NERODE

Vernica Judith Hernndez Moyotl

Introduccin
Dos AFD

se dice que son ISOMORFOS si existe una transformacin uno a uno sobre
tal que:

para toda

Objetivo:

SI M y N autmatas con estados no inaccesibles que aceptan el

mismo conjunto, ENTONCES M/ y N/ obtenidos por el
algoritmo de la reduccin son isomorfos.

El AFD obtenido por el algoritmo de la reduccin es el MNIMO AFD

para el conjunto aceptado y este autmata es NICO salvo
isomorfismo (renombramiento de estados).

El

nico AFD mnimo para un conjunto regular

R puede ser definido de manera natural
directamente de R, y que cualquier autmata
mnimo para R es isomorfo a este autmata.

Relaciones de Myhill-Nerode

Sea

El autmata M induce una relacin de equivalencia en

definida por:

(No confundir esta relacin con la relacin de reduccin de la lectura 13 que

define la relacin sobre Q, mientras se define en *)

R un Conjunto Regular y sea M = < > un AFD para R con

estados no inaccesibles.

La

Adems satisface algunas otras propiedades tiles:

relacin es una relacin de equivalencia

(i) Es congruente a la derecha: para cualquier

Asumimos que . Entonces

por suposicin

(ii) Refina R:
para cualquier

Esto es porque
ambos son rechazados.

esto es que ambos son aceptados o

Otra forma de decir esto es que cada - clase tiene todos sus
elementos en R o no tienen ningn elemento en R, es decir, R es
la unin de clases.

(iii) es de ndice finito;

Tiene slo un nmero finito de clases de equivalencia. Esto es porque hay
exactamente una clase de equivalencia.
correspondiente a cada estado q de M.
Llamemos a una Relacin de equivalencia en UNA RELACIN DE MYHILLNERODE para R si satisface las propiedades (i), (ii) y (iii); es decir, si es una
congruencia a la derecha de ndice finito refinada en R.

 Mostremos

como construimos un autmata para R de

alguna Relacin de Myhill- Nerode dada para R.

Sea y sea una relacin arbitraria de Mihiil-Nerode para R.

Ahora no asumimos que R es regular. Solamente sabemos que la relacin cumple (i),(ii) y
(iii). La

Ahora definimos AFD

donde:

 Se

deduce de la propiedad (i) de las relaciones MyhillNerode que est bien definida.

En otras palabras, tenemos definida la accin de en una clase de

equivalencia [x] en trminos de un elemento x elegido de esta
clase, y es concebible que podramos haber obtenido algo
diferente al elegir algn otro talque La propiedad de congruencia
derecha dice exactamente que esto no es posible.

Finalmente observamos que

Lemma 1

Demostrar. Por induccin sobre |y|

Caso Base

Paso de induccin

Ahora

demostraremos que L()=R.

Teorema 1

Demostracin:

Mostraremos
que estas dos operaciones son inversas salvo
isomorfismos.

Lema 2

i) si es una relacin de Myhill-Nerode para R, y si aplicamos la construccin

y entonces aplicamos la construccin

relacin resultante
es idntica a

al resultado, la

si M es un AFD para R con estados no inaccesibles, y si aplicamos la

construccin
y entonces aplicamos la construccin
resultado, el resultado AFD
es isomorfo a M.

a el

Demostrar (i) sea

Para cualquier x, y

Demostrar (ii) sea M y sea

Renombremos la construccin

Mostraremos que y M son isomorfos

bajo la transformacin

Por la definicin de
transformacin f esta bien definida. F es sobre.

la

Mostraremos que f es un isomorfismo de autmata, necesitamos

mostrar que f conserva la estructura terica de un autmata.

Necesitamos mostrar

stos se argumentan como sigue

Conclusin:
Teorema:

Sea

un alfabeto finito. Salvo isomorfismo de

autmata, hay una correspondencia uno a
uno entre un AFD sobre con estados no
inaccesibles que aceptan R y la Relacin de
Myhill-Nerode para R en