Teorema de Moore

Integrantes:
William Hermigio Ajxup Lajpop
Es un algoritmo que nos sirve para decidir si
dos autómatas finitos son equivalentes o no

Es aquel mencionado en el teorema de Moore, el

cual consiste en la elaboración de un árbol que nos
ayuda al comparar autómatas distintos.

La acción anterior nos permite convertir el

problema de la comparación de los lenguajes
aceptados en un simple problema de comparación
de estados de los autómatas que esperamos
comparar
Explicación
(Definición formal)

Para poder señalar que 2 estados, q y q1, son

compatibles entre sí, ambos deben ser estados finales o
ninguno de los dos es un estado final;

si esta condición no se cumple, son estados

incompatibles.
 Se puede decir entonces que la idea tras el algoritmo de
comparación de dos autómatas finitos determinísticos
distintos, se basa en determinar si existe alguna
secuencia de caracteres “w”, que al seguirla en ambos
autómatas al mismo tiempo no permita llegar a estados
incompatibles.

Si esta condición se cumple, entonces los autómatas son

equivalentes; en caso contrario no son equivalentes.
Debido a que el evaluar todas las cadenas posibles de caracteres
en cadenas comunes “w” es sencillamente imposible, debido a
que estas son infinitas, se ha pensado en probar todas las
distintas combinaciones de estados mediante el uso de un árbol
de comparación, el cual para dos autómatas A = (K, ∑, δ, s, F) y A’
= (K’, ∑’, δ’, s’, F’) 
EJEMPLO 
Se elabora de la manera siguiente:
La “raíz” del árbol generado es el par ordenado (s, s’) que
contiene los estados iniciales de A y A’ respectivamente