Maquina de Moore

Autmata de estados finitos

 Qu es la Maquina de Moore?
Es un autmata de estados finitos donde las salidas estn
determinadas por el estado actual nicamente (y no
depende directamente de la entrada).

El diagrama de estados para una mquina Moore incluir

una seal de salida para cada estado.

La mayora de los componentes electrnicos estn

diseadas como sistemas secuenciales sncronos (forma
restringida de mquinas de Moore)

p.e. Un Autmata para calcular el residuo de la divisin por 3 de un nmero binario,

mquina expendedora de caf, etc.
 Cmo se define?
Una mquina de Moore puede ser definida como una
6-tupla { S, S0, , , T, G } consistente de:
a. un conjunto finito de estados ( S )
b. un estado inicio (tambin llamado estado inicial) el
cual es un elemento de (S)
c. un conjunto finito llamado alfabeto entrada ( )
d. un conjunto finito llamado el alfabeto salida ( )
e. una funcin de transicin (T : S S) mapeando
un estado y una entrada al siguiente estado
f. una funcin salida (G : S ) mapeando cada
estado al alfabeto salida.
 Cmo se define?
Es un AF con Salidas (automata finito con salidas)
Las mquinas de Moore tienen tantos estados como
elementos tiene el conjunto Q y son etiquetados con el
nombre de dicho elemento.

Los cambios de estados se reflejan mediante una rama,

de forma que si f(q,1)=r, dibujaremos una rama desde q
hasta r etiquetada con 1. Si adems g(q,1)=0,
etiquetaremos el estado como r/0.
Ej. De Representacin
Simulacin algortmica
Comparativa
Gracias!