Professional Documents
Culture Documents
RELACIONES DE MYHILL-NERODE
Introduccin
Dos AFD
se dice que son ISOMORFOS si existe una transformacin uno a uno sobre
tal que:
para toda
Objetivo:
El
Relaciones de Myhill-Nerode
Sea
La
por suposicin
(ii) Refina R:
para cualquier
Esto es porque
ambos son rechazados.
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.
Mostremos
Ahora no asumimos que R es regular. Solamente sabemos que la relacin cumple (i),(ii) y
(iii). La
donde:
Se
deduce de la propiedad (i) de las relaciones MyhillNerode que est bien definida.
Lemma 1
Caso Base
Paso de induccin
Ahora
Teorema 1
Demostracin:
Mostraremos
que estas dos operaciones son inversas salvo
isomorfismos.
Lema 2
al resultado, la
a el
Para cualquier x, y
Renombremos la construccin
bajo la transformacin
Por la definicin de
transformacin f esta bien definida. F es sobre.
la
Necesitamos mostrar
Conclusin:
Teorema:
Sea