Tema 3: Maquinas Secuenciales

Maquinas Secuenciales Maquinas de Moore Mquinas de Mealy Equivalencias Mealy-Moore

Autmatas Finitos

Tema 3: Maquinas Secuenciales

Disponen de una cinta de salida en la que se escriben smbolos de un alfabeto de salida. No hay estados finales: La salida puede servir para decidir en caso de simular procesos de aceptacin o no aceptacin. Son muy parecidas a los AFD Formalmente: MS=(Q, , , , , q0 )
Autmatas Finitos

Tema 3: Maquinas Secuenciales

Mquinas de Moore: Las salidas se asocian a los estados.

p/y

q/n

Mquinas de Mealy: Las salidas se asocian a las transiciones

a/y p q

Autmatas Finitos

Mquinas de Moore
Definicin formal: MO=(Q, , , , , q0 )

Funciona como un AFD en cuanto a las transiciones : alfabeto de salida: conjunto no vaco de smbolos Funcin de salida: : Q
(slo depende de los estados)

Formas de Representacin Diagrama de transiciones Tabla de transiciones + tabla de salidas

Autmatas Finitos

Ejemplo: Mquina de Moore

Diagrama de transiciones
q0 /a 1 1 q2 /a 0 0 0 1 q1 /b

Tabla de transiciones y de salida / 0

q0 /a q1 q1 /b q2 q2 /a q1

1
q2 q1 q0

Si entrada: Salida:

w=1 0 0 1 0

Observar que ||= |w|+1

= a a b a a b

Autmatas Finitos

Mquinas de Mealy
Definicin formal: MO=(Q, , , , , q0 )

Funciona como un AFD en cuanto a las transiciones : alfabeto de salida: conjunto no vaco de smbolos Funcin de salida: : Q*
(La escritura en la cinta depende de la transicin y no del estado que se alcanza)

Formas de Representacin Diagrama de transiciones Tabla de transiciones + tabla de salidas

Autmatas Finitos

Ejemplo: Mquina de Mealy

Diagrama de transiciones
1/a q0 1/b q2 0/a 1/a 0/a 0/b q1

Tabla de transiciones y de salida / 0

q0 q1 q2 q1 /a q2 /b q1 /a

1
q0 /a q0 /a q0 /b

Si entrada: Salida:

w=1 0 0 1 0 = a a b b a

Observar que ||= |w|

Autmatas Finitos

Equivalencia Mealy-Moore

Dos mquinas con salida M y M (sean de Mealy o de Moore), son equivalentes, si teniendo los mismos alfabetos de entrada y de salida y leyendo la misma palabra de entrada, escriben la misma palabra de salida. (q0, w) = (q0, w)

Autmatas Finitos

Equivalencia Moore- Mealy

Sea M una mquina de Moore: MO=(Q, , , , , q0 ) construimos una de Mealy equivalente ME=(Q, , , , , q0 ) en la que slo hay que redefinir la funcin de salida. Sea: (p,a)=q, entonces: (p, a)= ((p,a))= (q)

La salida correspondiente a una transicin es la salida del estado al que se llega con esa transicin.

Autmatas Finitos

Equivalencia Moore- Mealy

1 q0 /a 1 1 q2 /a 0 0 0 1/a q2 q1 /b q0 1/a 0/b 0/a 0/b 1/b q1

MAQUINA DE MOORE

MAQUINA DE MEALY

Autmatas Finitos

Equivalencia Mealy-Moore
Sea M una mquina de Mealy ME=(Q, , , , , q0 ) construimos una de Moore equivalente ME=(Q, , , , , q0 ) Q= {todos los pares formados por un estado Q y un smbolo } q0= uno de los pares (q0, A) siendo A ([p,A], a) = [(p,a), (p,a)] ([p,A)] =A

Autmatas Finitos

Equivalencia Mealy-Moore
1/a q0 1/b q2 0/a 1/a 0/a 0/b q1
/ (q0,a)/a (q1,a)/a (q2,b)/b (q0,b)/b 0 (q1,a)/a (q2,b)/b (q1,a)/a (q1,a)/a 1 (q0,a)/a (q0,a)/a (q0,b)/b (q0,a)/a

MAQUINA DE MEALY

MAQUINA DE MOORE

Autmatas Finitos