Página 57 - Coordinación de Servicios de Información

En esta tabla de estado, tenemos la partición Po; en la cual no se produce salida para una
secuencia de longitud I = O, de modo que todos los estados de la máquina son de equivalencia
cero.
El siguiente paso, es identificar grupos de estado que conduzcan a la misma salida para una
misma secuencia de entrada de longitud I = 1, así tenemos la partición P" En esta los estados d
& r, conducen a la salida I = 1, Ylos estados restantes a una sal ida de cero ; así los primeros se
agrupan en la clase S, y los segundos en la clase S,. Notamos además, que los estados c, e & h,
tienen sucesores en la clase S" A continuación presentamos a la partición P, :
Procedemos a identificar grupos de estados. cuyos sucesores están en la misma clase.
Encontramos que los estados c, e & h, tienen sucesor S, ' Yse agrupan en la clase S" ' mientras
los estados restantes se agrupan en la clase S" . Así tenemos la partición P 2 , que presentamos en
la siguiente tabla :
Identificamos que el estado b, indícado con paréntesis, tiene un sucesor en la clase S2I , y S2I
implica c, e & h, colocándose en la clase S22I ' en I = 1, mientras que los estados restantes, se
agrupan en la clase S", , Yasí tenemos a P, que mostramos en la siguiente tabla:
página 2-15