MQUINAS DE MEALY Y MOORE

Bryan Javier Castro Medina

bryan_javier_mh@hotmail.com

Daniel Alejandro Lara Viera

daniel.lara91@hotmail.com

Ingeniera en Electrnica e Instrumentacin, Tercero Electrnica, Universidad de las Fuerzas

Armadas ESPE-Extensin Latacunga, Mrquez de Maenza S/N Latacunga, Ecuador.
Fecha de presentacin: 16/07/2014

RESUMEN: Una Mquina de Mealy es un tipo de

mquina de estados finitos que genera una salida
basndose en su estado actual y una entrada. Esto
significa que el Diagrama de estados incluir ambas
seales de entrada y salida para cada lnea de
transicin. Una mquina 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.

INTRODUCCIN:
Figura 1. Diagrama de estados de una
mquina de Mealy simple.

MQUINA DE MEALY

Una mquina de Mealy es una estructura de la forma:

El nombre Mquina de Mealy viene del promotor del

[2]

concepto: G. H. Mealy, un pionero de las mquinas de

MMe=(Q , Ent , Sal, tran ,res , qo)

estados, Las mquinas de Mealy suministran un

Donde:

modelo matemtico rudimentario para las mquinas de

cifrado. Considerando el alfabeto de entrada y salida

Q: es el conjunto de estados ,

del alfabeto Latino, por ejemplo, entonces una mquina

Ent :es elalfabeto de entrada ,

de Mealy puede ser diseada para darle una cadena de

Sal :es el alfabeto de salida ,

letras (una secuencia de entradas), esto puede

procesarlo en un string cifrado (una secuencia de

tran:QxEnt Q , es la funcin de transicin

salidas).

res :QxEnt Sal , es la funcin de respuesta , y

Sin

embargo,

aunque

se

podra

probablemente usar un modelo de Mealy para describir

qo :es el estadoinicial

una Mquina Enigma, el diagrama de estados sera

demasiado complejo para suministrar medios factibles
de disear mquinas de cifrado complejas. [1]

Una mquina electrnica de Moore tpica incluye una

cadena de Lgica combinacional para decodificar el
estado actual en salidas. El instante en el cual el estado
actual cambia, aquellos cambios se propagan a travs
de la cadena. Y casi instantneamente las salidas
cambian o no cambian. Hay tcnicas de diseo para
asegurar que no ocurran errores de corta duracin en
las salidas durante el breve periodo mientras esos

Figura 2.Diagrama de estado

cambios se estn propagando a travs de la cadena,

EJEMPLO

pero la mayora de los sistemas estn diseados para

Estado
actual

Entrad
a

Estado
Siguient
e
Par
Impar
Impar
Par
Tabla1. Estados

Salida

Par
Par
Impar
Impar

0
1
0
1

1
0
0
1

que los glitches durante el breve tiempo de transicin

sean ignorados. Las salidas entonces permanecen
igual

indefinidamente

(por

ejemplo,

los

LEDs

permanecen brillantes, la batera permanece conectada

a los motores, etc.), hasta que la mquina de Moore
cambia de estado otra vez. [3]

Figura 3. Diagrama de estado

MQUINA DE MOORE
El

nombre Moore

promotor: Edward

machine viene

F. Moore,

un

pionero

de
de

su
las

mquinas de estados.La mayora de las mquinas

electrnicas

estn

diseadas

Figura 4.Modelo Moore

como sistemas

secuenciales sncronos. Los sistemas secuenciales

Una mquina de Moore es similar a una de Mealy, salvo

sncronos son una forma restringida de mquinas de

en que la respuesta slo depende del estado actual de

la mquina y es independiente de la entrada.

Moore donde el estado cambia solo cuando la seal de

Precisamente,

reloj global cambia. Normalmente el estado actual se

una

mquina

de

Moore

estructura de la forma: [2]

almacena en Flip-flops, y la seal de reloj global est

conectada a la entrada "clock" de los flip-flops. Los
sistemas secuenciales sncronos son una manera de
resolver problemas de Metastabilidad.

MMe=(Q , Ent , Sal , tran ,res , qo)

2

es

una

Donde:

Q: es el conjunto de estados ,

Una mquina Mealy es aquella en los que la

salida o salidas dependen tanto del estado

Ent :es elalfabeto de entrada ,

actual como de la entrada o entradas.

Sal :es el alfabeto de salida ,

RECOMENDACIONES

tran:QxEnt Q , es la funcin de transicin

res : QxEnt Sal , es la funcin de respuesta , y

Investigar en diferentes fuentes de

informacin, con el fin de consolidar los

qo :es el estadoinicial

conocimientos
Buscar videos tutoriales sobre el tema para la

comprensin
Ver ejemplos claros en los cuales se pueda
esclarecer los conceptos de mquinas
secuenciales.

Figura 5. Diagrama de estados

BIBLIOGRAFA

EJEMPLO
Estado
actual

Entrad
a

Par
Par
Impar
Impar

0
1
0
1

Estado
Siguient
e
Par
Impar
Impar
Par

Salida

1
0
0
1

[1
]

wikipedia, wikipedia, [En lnea]. Available:

http://es.wikipedia.org/wiki/M
%C3%A1quina_de_Mealy. [ltimo acceso:
julio 2014].

[2
]

Galeon. [En lnea]. Available:

http://nuevainge.galeon.com/automatasmoore.
pdf. [ltimo acceso: Julio 2014].

[3
]

wikipedia, Moore, [En lnea]. Available:

http://es.wikipedia.org/wiki/M
%C3%A1quina_de_Moore. [ltimo acceso:
Julio 2014].

Tabla2. Estados

Figura 6.Diagrama de estados

CONCLUSIONES

En general los circuitos secuenciales pueden

clasificarse en dos tipos los circuitos Moore y

Mealy.
Una mquina Moore es aquella en los que la
salida o salidas dependen nicamente del
estado actual