MINIMIZACIN

DE AFD`s
AUTOMTAS Y COMPILADORES
ALGORITMO
Seleccione un estado en cada conjunto de la particin final como un estado representativo
para el conjunto. Estos estados representativos son estados de la DFA M1 minimizada.
Sean p y q estados representativos de la DFA M1 minimizada. Sean tambin p y q,
respectivamente, los conjuntos de estados de la DFA original (M). Sea s un estado en p y t un
estado en q. Si en M existe una transicin de s a t con un smbolo a, entonces la DFA
Minimizada M1 tiene una transicin de p a q en el smbolo a.
El estado inicial de M1 es el estado representativo que contiene el estado inicial de M.
Los estados de aceptacin de M1 son los estados representativos que estn en A. Note que
los conjuntos de final son un subconjunto de A o un conjunto disjunto de A.
Remueva de M1los estados muertos o inalcanzables a partir del estado inicial, si es que hay.
Cualquier transicin a un estado se vuelve indefinida.
oUn estado es unestado muertosi no es un estado de aceptacin y no tiene salidas excepto
a si mismo.
Ejemplo 1 :
Inicialmente = { { 1 , 5 } , { 2 , 3 , 4 } }.
Aplicada a .
Dado que con b el estado 2 sale hacia el estado 1, el estado 3 sale hacia el
estado 4 y 1 y 4 estn en diferentes conjuntos en , los estados 2 y 3 van a
estar separados.
Tambin dado que con a el estado 4 sale hacia el estado 4, el estado 3 sale
hacia el estado 5, y puesto que 4 y 5 estn en conjuntos diferentes en ,
por consiguiente los estados 3 y 4 estarn separados
Adems, dado que con b 2 sale hacia 1, 4 sale hacia 4; y puesto que 1 y 4
estn en diferentes conjuntos en , 2 y 4 son separados
Por otra parte 1 y 5 hacen las mismas transiciones. As que ellos no sern
separados.
Entonces la nueva particin es { { 1 , 5 } , { 2 } , { 3 } , { 4 ] }. Esto ahora ser
en la segunda iteracin.
Cuando new_partition es aplicada al nuevo , dado que 1 y 5 hacen las mismas
transiciones, permanece sin cambios.
Entonces final = { { 1 , 5 } , { 2 } , { 3 } , { 4 ] }.
Seleccione 1 como el estado representativo del conjunto { 1 , 5 }. Puestos que el
resto son conjuntos de un slo elemento, ya tienen un estado representativo.
Entonces el conjunto de estados para la DFA minimizada es { 1 , 2 , 3 , 4 }.
Para las transiciones puesto que de 1 se va a 3 con a, y de 1 a 2 con b en la DFA
original, dichas transiciones permanecern en la DFA minimizada. Tambin puesto
que 2 sale a 1 con b, y 3 va a 1 con a en la DFA original, dichas transiciones
permanecern en la DFA minimizada.
Dado que el resto de conjuntos de estados contienen un solo elemento todas las
transiciones entre ellos son heredadas a la DFA minimizada.
Entonces la DFA minimizada est dada en la siguiente figura.