MINIZACION DE

AUTOMATAS FINITOS
 Pasos
Particin inicial.
Particin de nuevos conjuntos.
Verificar la nueva particin.
Eliminar los estados que se encuentran en el mismo grupo.
Remover estados sumideros y no alcanzables desde estado inicial.
 Lneas 1y 2 Si p es un estado inicial y q es un estado no final , entonces se debe
marcar como distinguible.
Lneas 3 Se considera pares de estados que son solo finales o solo no finales.
Lneas 4y7 Si a partir de (p, q) se llega, procesando el smbolo a, a un par de estados
que ya se sabe que son distinguibles, entonces p y q son distinguibles, pero tambin
todos los pares que estn en la lista de L[p, q] y (recursivamente) todos los que
estn en las listas de aquellos. Se marcan todos estos estados.
Lneas 8y10 En caso contrario (no hemos podido demostrar que p y q son
distinguibles) agregamos (p, q) a las listas L[(p, a), (q, a)], para cada a 2 . Esto se
realiza porque p y q son distinguibles si algn par ((p, a), (q, a)) lo es.