1

Lopes, J.,Miranda, J. y Sólis, V.

Diseño de Máquinas Moore y Mealy.
Escuela de Técnicos Laboratoristas, Universidad Autónoma del Estado de
Morelos, Cuernavaca, Morelos, México.
(Mayo de 2021)
victor.solis@uaem.edu.mx ,

 Optimizar / minimizar (fuera de esta asignatura)

 Definir los valores de las salidas en cada momento

En el mundo de la computación, tenemos dispositivos

secuenciales a los que denominamos “máquinas de estado”, un
“estado” es la condición de una cosa en un tiempo
determinado. Algunos que pueden realizar tareas y que
utilizan estados como su núcleo son máquinas de estado.
También son conocidas como máquinas de estado finitas, lo
que significa que sabemos todos los posibles estados de ella.
La clave para la máquina de estado es el concepto del tiempo
y la historia. El estado de la máquina es evaluada
periódicamente. Cada vez que es evaluada, un nuevo estado es
elegido (el que podría ser el mismo estado nuevamente) y el
resultado es presentado. [1]
Para entender mejor el diseño de las máquinas de estado finito
que veremos a continuación, tenemos que definir algunos
conceptos como introducción:
Diagrama de estados:
 Muestra la forma y la función de la máquina de
estados
 Normalmente un diagrama de círculos y flechas
Estado:
 Identifica de forma única una situación del sistema
digital

Próximo estado:
Una Máquina de Estado Finito (Finite State Machine), llamada  El estado al que irá la máquina de estados en la
también Autómata Finito es una abstracción computacional siguiente transición
que describe el comportamiento de un sistema reactivo  La transición se produce con la señal de reloj
mediante un número determinado de Estados y un número  Depende de los valores de las entradas y del estado
determinado de Transiciones entre dicho Estados. presente
Rama
Las Transiciones de un estado a otro se generan en respuesta a  Indica un cambio del estado presente al próximo
eventos de entrada externos e internos; a su vez estas estado
transiciones y/o subsecuentes estados pueden generar otros [3]
eventos de salida. Esta dependencia de las acciones (respuesta)
del sistema a los eventos de entrada hace que las Máquinas de Por último, tenemos una descripción muy breve del modo de
Estado Finito (MEF) sean una herramienta adecuada para el trabajo de las máquinas de estado finito Mealy y Moore:
diseño de Sistemas Reactivos y la Programación Conducida
por Eventos (Event Driven Programming), cual es el caso de Máquina de Mealy:
la mayoría de los sistemas embebidos basados en
 Una máquina de estados que determina sus salidas en
microcontroladores o microprocesadores.
base al estado presente y a las entradas
Las MEF se describen gráficamente mediante los llamados
Máquina de Moore:
Diagramas de Estado Finito (DEF), llamados también
 Una máquina que determina sus salidas sólo en base
Diagramas de Transición de Estados. [2]
a su estado presente
[3]
Cualquier circuito con memoria puede verse como una
máquina de estados

El diseño de FSMs involucra:

 Definir estados
 Definir transiciones entre estados
 2

Fig.1 Esquema general de una máquina de estados finito[3]

El elemento de memoria contiene el nuevo estado conocido

como el estado variable. Cuando la máquina de estado cuenta
con los servicios, el estado variable es actualizado con el valor
de la próxima etapa. Acá la nueva etapa es una función de
ambos; el estado actual y algunos inputs. La nube de la lógica
es un sistema que decide cual será el próximo estado, o la
próxima lógica de estado. [1]

En los sistemas secuenciales la salida Z en un determinado

instante de tiempo ti depende de X (la entrada) en ese mismo
instante de tiempo ti y en todos los instantes temporales
anteriores. Para ello es necesario que el sistema disponga de Fig. 2 Modelo genérico máquina de estado Mealy [4]
elementos de memoria que le permitan recordar la situación en
que se encuentra ( estado). Máquina Moore:

Como un sistema secuencial es finito, tiene una capacidad de
memoria finita y un conjunto finito de estados posibles
máquina finita de estados (FSM: finite state machine)
Las FSM constan de:
 Un conjunto de entradas X ∈ {X0,X1,...,Xl-1}
 Un conjunto de salidas Z ∈ {Z0,Z1,...,Zm-1}
 Un conjunto de estados S ∈ {S0,S1,...,Sn-1}
En el modelo de Moore, los estados de los circuitos son
también las salidas de este. Es muy usado para generar
secuencias de conteo ya que requiere menos circuitos
combinacionales.
En la máquina de Moore, la salida se toma directamente del
registro, por lo que no necesita logica combinacional para
sintetizar la salida

[4]

Ahora bien, una vez que entendimos todo lo anterior, podemos

hablar de los tipos de FSM, en esta ocasión hablaremos de las
máquinas Moore y Mealy.

Su diferencia está únicamente en la dependencia de las salidas,

mientras que en la máquina Mealy las salidas están en función
de dos, el estado presente y las entrada, en la máquina Moore
las salidas están en función del estado presente solamente.

Fig. 3 Modelo genérico máquina de estado Moore [4]

Máquina Mealy:
Las salidas dependen del estado presente y del valor de las Podemos decir entonces que toda máquina de Moore es un
entradas que quedaría representado de la siguiente forma: caso particular de una máquina de Mealy. [4]

Z = f (Y,X) Para comprender mejor la transición de estados en cada una de

Dado el estado actual Q (fig. 2). Si llega un valor a la entrada
el circuito de lógica / combinacional(L/C) calcula el estado
siguiente y la salida. Cuando llega un pulso de reloj, se captura
el nuevo estado.
las máquinas, tenemos un diagrama de los mismos llamados
“Diagramas de Estados” en donde:
 Para cualquier estado, hay un número finito de
posibles próximos estados
 En cada ciclo de reloj la máquina cambia al siguiente
estado
 Uno de los posibles próximos estados se convierte en
el nuevo estado presente
 Depende del estado presente y de las entradas
 3

Diagramas de estados de máquinas de Mealy:

Condición de
entrada que
debe existir
para que se
produzcaValores
la de las
salidas para ese
transición.
estado y esas
entradas

Las máquinas de Mealy generan sus salidas en base a:

Fig.4 Diagrama de estados genérico [3]
•El estado presente
•Los valores de las entradas
Diagramas de estados de máquinas de Moore:
Es capaz de generar salidas diferentes en un mismo estado

Los valores de las salidas se muestran en las transiciones,

porque se calculan de la misma forma que los próximos
a,b estados

Para el diseño de ambos tipos de máquinas de estado

se sigue una metodología específica que se podría
Condiciones en las
entradas para
resumir de la siguiente forma:
producir la
transición marcada 1. Descripción no formal del ciruito
2. Generar el esquema de diagrama de estados
3. Determinar la tabla de estados-salida
4. Determinar la tabla de transición-salida
Valores de las
salidas cuando
5. Determinar la tabla de excitación-salida
se está en ese 6. Realizar las ecuaciones de excitación-salida
estado 7. A partir de las ecuaciones dibujamos el
circuito.

 Las salidas de las máquinas de Moore se muestran

dentro del círculo del estado.

 La salida está asociada al estado y sólo cambia

cuando cambia el estado

Fig. 5 Esquema de pasos del proceso de diseño de una

máquina de estados finitos. [3]
 4

BIBLIOGRAFÍA

[1] MCI CAPACITACIÓN. (Junio de 2019) Máquinas de Estado. Recuperado de:

https://cursos.mcielectronics.cl/2019/06/18/maquinas-de-estado/

[2] Álvarez, R. (s.f) Introducción a las Máquinas de Estado Finito. Recuperado de:
http://tecbolivia.com/index.php/articulos-y-tutoriales-microcontroladores/13-
introduccion-a-las-maquinas-de-estado-finito

[3] Departamento de Tecnología electrónica. (Febrero de 2016) Tema 2: Análisis y

diseño de circuitos digitales. Análisis y diseño de circuitos secuenciales.
Universidad de Sevilla, España. Recuperado de:
https://www.dte.us.es/docencia/eps/giei/ed/teoria/tema2ppt

[4] Malpica,R. (2015) Síntesis de circuitos secuenciales síncronos: Máquinas de

estados finitos. Universidad Rey Juan Carlos, Mostoles, España.
https://www.cartagena99.com/recursos/alumnos/apuntes/Tema7_SED_1415%20(1
).pdf.

[5] Facultad de Ciencias Humanas y de la Educación. (2011) Modelos de Circuitos

Secuenciales: Mealy y Moore. Ecuador. Recuperado
de:https://bloganalisis1.files.wordpress.com/2011/01/apuntesdsd10_mealy_moore.
pdf