FACULTAD DE CIENCIAS FISICAS Y

MATEMATICAS

Máquinas secuenciales de Mealy y

Moore
Integrantes de grupo:

Abanto Cabanillas Carlos Miguel

Morales Romero Franco Fernando
Núñez Chilón Dorely Jamilleth
Pérez Ledezma José Alexander
Sánchez Garay Eduardo Miguel
Vásquez Molina Estrella Ximena

Docente: José Arturo Díaz Pulido

Guadalupe - 2022
 ÍNDICE

INTRODUCCIÓN ........................................................................................................................ 3

1. MÁQUINA DE MEALY .......................................................................................................... 4

1.1 Diseño .............................................................................................................................. 4

1.2 Definición Formal.............................................................................................................. 5

2. MÁQUINA DE MOORE ........................................................................................................ 5

2.1 Definición: ........................................................................................................................ 5

2.2 Definición Formal:............................................................................................................. 7

3 COMPARACIÓN DE REPRESENTACIÓN ENTRE MÁQUINAS MEALY Y MOORE ............. 7

3.1 Equivalencia entre Máquinas de Mealy y Máquina de Moore ............................................ 8

CONCLUSIÓN .......................................................................................................................... 10

REFERENCIAS ........................................................................................................................ 11

2
 INTRODUCCIÓN
Durante el presente trabajo se desarrolla los temas sobre las máquinas de Moore y

Mealy, donde Moore, un pionero de las máquinas de estados. La máquina de Moore cuenta

con una diferencia de conjuntos y elementos y la máquina de Mealy es un tipo de máquina de

estados finitos que genera una salida basándose en su estado actual y una entrada. Esto

significa que el Diagrama de estados incluirá ambas señales de entrada y salida para cada

línea de transición.

Una Máquina de Moore es un autómata de estados finitos donde las salidas están

determinadas por el estado actual únicamente (y no depende directamente de la entrada). El

diagrama de estados para una máquina Moore incluirá una señal de salida para cada estado.

Comparada con la Máquina de Mealy, la cual mapea transiciones en la maquina a salidas.

3
 1. MÁQUINA DE MEALY
En la teoría de la computación, una Máquina de Mealy es un tipo de máquina de

estados finitos que genera una salida basándose en su estado actual y una entrada. Esto

significa que el Diagrama de estados incluirá ambas señales de entrada y salida para cada

línea de transición. En contraste, la salida de una máquina de Moore de estados finitos (el otro

tipo) depende solo del estado actual de la máquina, dado que las transiciones no tienen

entrada asociada. Sin embargo, para cada Máquina de Mealy hay una máquina de Moore

equivalente cuyos estados son la unión de los estados de la máquina de Mealy y el Producto

cartesiano de los estados de la máquina de Mealy y el alfabeto de entrada.

1.1 Diseño

Las máquinas de Mealy suministran un modelo matemático rudimentario y eficiente

para las máquinas de cifrado. Considerando el alfabeto de entrada y salida del alfabeto

Latino, por ejemplo, entonces una máquina de Mealy puede ser diseñada para darle una

cadena de letras (una secuencia de entradas), esto puede procesarlo en un string cifrado

(una secuencia de salidas). Sin embargo, aunque se podría probablemente usar un modelo

de Mealy para describir una Máquina Enigma, el diagrama de estados sería demasiado

complejo para suministrar medios factibles de diseñar máquinas de cifrado complejas.

4
1.2 Definición Formal

Una máquina de Mealy es una 6-tupla, M= (S, S0, Σ, Λ, T, G):

S es un conjunto finito de estados.

S0 es un estado inicial, el cual es un elemento de S. S0 ∈ S

Σ es un conjunto finito, llamado alfabeto de entrada.

Λ es un conjunto finito, llamado alfabeto de salida.

T es una función de transiciones (T: S × Σ → S)

G es una función de salida (G: S × Σ → Λ)

2. MÁQUINA DE MOORE

2.1 Definición:

El nombre Moore machine viene de su promotor: Edward F. Moore, un pionero de las

máquinas de estados, quien escribió Gedanken-experiments on Sequential Machines, pp 129 –

153, Estudios de Autómatas, Anuales de los Estudios Matemáticos, no. 34, Princeton University

Press, Princeton, N. J., 1956.

5
 La mayoría de las máquinas electrónicas están diseñadas como sistemas secuenciales

síncronos. Los sistemas secuenciales síncronos son una forma restringida de máquinas de

Moore donde el estado cambia solo cuando la señal de reloj global cambia. Normalmente el

estado actual se almacena en Flip-flops, y la señal de reloj global está conectada a la entrada

"clock" de los flip-flops. Los sistemas secuenciales síncronos son una manera de resolver

problemas de meta estabilidad.

Una máquina electrónica de Moore típica incluye una cadena de Lógica combinacional

para decodificar el estado actual en salidas (lambda). El instante en el cual el estado actual

cambia, aquellos cambios se propagan a través de la cadena. y casi instantáneamente las salidas

cambian (o no cambian). Hay técnicas de diseño para asegurar que no ocurran errores de corta

duración en las salidas durante el breve periodo mientras esos cambios se están propagando a

través de la cadena, pero la mayoría de los sistemas están diseñados para que los glitches

durante el breve tiempo de transición sean ignorados. Las salidas entonces permanecen igual

indefinidamente (por ejemplo, los LEDs permanecen brillantes, la batería permanece conectada

a los motores, etc.), hasta que la máquina de Moore cambia de estado otra vez.

6
2.2 Definición Formal:

Una máquina de Moore puede ser definida como una 6-tupla {S, S0, Σ, Λ, T, G}
consistente de

● un conjunto finito de estados (S)

● un estado inicio (también llamado estado inicial) S0 el cual es un elemento de (S)
● un conjunto finito llamado alfabeto entrada (Σ)
● un conjunto finito llamado el alfabeto salida (Λ)
● una función de transición (T: S × Σ → S) mapeando un estado y una entrada al siguiente
estado
● una función salida (G: S → Λ) mapeando cada estado al alfabeto salida.

El número de estados en una máquina de Moore será mayor o igual al número de

estados en la Máquina de Mealy correspondiente.

3. COMPARACIÓN DE REPRESENTACIÓN ENTRE

MÁQUINAS MEALY Y MOORE

Con respecto a la ejecución de ambas máquinas de acuerdo a los ejemplos

anteriormente resueltos, notamos que, para las mismas cadenas de entrada, y

comenzando por el mismo estado, se obtendrán las mismas salidas.

Las diferencias que se observan, con respecto a las diferentes formas de

representación entre las máquinas radican fundamentalmente en las diferencias que tienen

ambas máquinas en la constitución de la función de salida g.

Ahora si analizamos las diferentes formas de representación de las funciones f y g

notamos lo siguiente:

7
 Con respecto a la notación explícita, vemos que lo que cambia es la definición de la

función g ya que en Moore la salida dependerá solamente del estado al que transitará la

máquina.

Con respecto a las tablas, notamos que en Moore en el caso de la representación

de la función g, dejará de ser una matriz como es en el caso de Mealy para convertirse en

un vector.

Con respecto al grafo, los cambios que se producirán son en la rotulación de las

transiciones, ya que en Moore solamente se deberá indicar que entrada produce la

transición de estado, y en la rotulación del estado ahora se deberá indicar también cuál es

la salida que producirá.

3.1 Equivalencia entre Máquinas de Mealy y Máquina de

Moore

Las funciones de salidas de ambas máquinas se representan como sigue:

g : Q
MEALY
x
g:
MOORE
Q

Por lo tanto, las salidas correspondientes en un determinado tiempo i se obtendrán

de la siguiente manera:

8
 Si = Que la salida producida en el intervalo de tiempo
MEALY f( qi, ei) i estará en función del estado en que se encuentra y la
entrada que recibe en el mismo tiempo i
Que la salida producida en el intervalo de tiempo
i estará solo en función del estado en que se encuentra en
Si =
MOORE ese tiempo i, y la salida que se producirá será la
f( qi )
correspondiente al símbolo del estado que este después
de realizar la transición

Básicamente la diferencia entre ambas máquinas está dada en la respuesta que

producen ambas máquinas secuenciales.
En la máquina de Mealy se dice que la respuesta es inmediata ya que la salida la produce en
forma directa después de recibir la entrada. Mientras que en la máquina de Moore, la respuesta
solo depende del estado en que se encontrará la máquina después de realizar cada transición.
De acuerdo a lo expresado anteriormente, se puede demostrar que la salida en una máquina
de Moore, experimenta un retardo de tiempo respecto de su entrada. Esta apreciación es
razonable, ya que la respuesta depende solo del estado al que transitará la máquina pero esta
transición se deberá a la entrada anterior que dio origen al estado en el cuál se encuentra la
máquina.
En Moore: En un determinado intervalo de tiempo i la máquina se encuentra en un determinado
estado qi, y recibe un símbolo ei y se producirá una transición de estado y una salida como
sigue:
f ( qi , ei ) = q i+1
g ( qi ) = si

pero para haber estado en el estado qi que produjo la salida si debió en un intervalo de tiempo
anterior haber recibido una entrada que lo llevo a este estado.

f ( qi-1 , ei-1 ) = q i
g ( qi ) = g (f ( qi-1 , ei-1 )) = si

En donde se evidencia que la salida si en la máquina de Moore en un intervalo i depende

en forma directa de la entrada ei-1

9
 CONCLUSIÓN

En este trabajo grupal se ha investigado estos temas en particular, buscando

información para cada uno, llegando a la conclusión de que la máquina de Moore nos

sirve para poder utilizar estados, los cuales pueden ser contables, Las maquinas

secuenciales se pueden generar de dos maneras en donde variamos las tabla para los

modos de entrada y modos de salida, las otras máquinas se pueden variar entre sí pero

la máquina de Moore depende de un solo estado ya sea este de simple entrada a

diferencia de la máquina de Mal esta puede generar muchas salidas que pueden ser

usadas a base de combinaciones con otros conjuntos de transacciones y la máquina de

en contraste a la salida de una máquina de Moore de estados finitos (el otro tipo) depende

solo del estado actual de la máquina, dado que las transiciones no tienen entrada

asociada. Sin embargo, para cada Máquina de Mealy hay una máquina de Moore

equivalente cuyos estados son la unión de los estados de la máquina de Mealy y el

Producto cartesiano de los estados de la máquina de Mealy y el alfabeto de entrada.

10
 REFERENCIAS
Cubero, E., Moreno, M. y Salomón, R. (2007). Teoría de autómatas y lenguajes

formales.

Grune, D., Bal, H. E., Jacob C. J. H. y Langendoen, K. G. (2007). Diseño de

compiladores modernos. Mc Graw Hill.

G H D. (s/f). Edu.ar. Recuperado el 18 de noviembre de 2022, de

https://www.institucional.frc.utn.edu.ar/sistemas/ghd/T-M-MaqSec.htm

11