Simplificacin de AFD para la obtencin del AFDmn.

- 1 de 2 -

Simplificacin de Autmatas Autmata finito mnimo (AFDm) Proposicin: Para todo AFD existe un AFDm equivalente a l.

Dado un autmata M=(Q,, ,q0,F) se trata de obtener un nuevo autmata M'=(Q',, ',q'0,F') equivalente a l, con el menor nmero de estados. Para ello definimos la siguiente relacin de equivalencia en Q:

(qj,)F (qk,)F ] qj,qkQ: qj ~ qk [ : :Q*Q, la extensin de la funcin de transicin , en la que siendo (qj,) proporciona el estado en que se queda el autmata desde el es tado qj despus de haber ledo la cadena de entrada .

Definida de esta forma, haremos que Q' = Q/~, de forma que las distintas clases de equivalencia formen el nuevo conjunto de estados. Si interpretamos cada [qk]Q'/~, veremos que en dicha clase estarn todos aquellos estados "similares" en cuanto se comportan igual desde ese estado y ante una misma cadena de entrada.

Algoritmo de MOORE para la obtencin del AFDmn 1) Se obtiene un AF equivalente al original que sea conexo, para as eliminar aquellos estados que no son accesibles desde el estado inicial. 2) Dado el AFD, M = (Q,,,q0,F) a minimizar, vamos a construir el autmata equivalente M' = (Q',,',c0,F') tal que Q' = Q/~ ser el conjunto de estados del AFDm y ' su funcin de transicin. Para calcular las distintas clases de equivalencia, inicialmente establecemos una primera particin del conjunto Q de forma que Q' = {c0, c1}, siendo c0 el conjunto de estados no finales de M y c1 el conjunto de los finales. A partir de ah vamos calculando las distintas clases de equivalencia mediante la divisin de esas clases originales de la siguiente forma:

Francisco J. Santana Prez '2001

www.fransantana.com

Simplificacin de AFD para la obtencin del AFDmn.

- 2 de 2 -

Para ci Q', cj hacer Si en general, Q'={c0, c1, ..., cn}, entonces hacemos: Para cualquier a hacer da = {(q,a), qci} Si d no est contenido en un mismo ct de Q' entonces desdoblamos ci en dos: ci1,ci2 de forma que la condicin anterior se cumpla ahora, Q'={c0, ..., ci-1, ci1,ci2, ci+1, ..., cn} . Reordenamos subndices por lo que obtenemos que: Q'={c0, c1, ..., cn+1} Fn s Fn para Fn para Ahora, M' = (Q',,',c0,F') es el AFDm. Adems, el estado inicial c0 ser aquel que contenga al estado inicial q0 del autmata originial M (no simplificado) Los estados finales de F son aquellos que contienen estados finales del autmata original M.

* * * * *

Francisco J. Santana Prez '2001

www.fransantana.com