Universidad Nacional

Autónoma de México.

Facultad de Estudios
Superiores Cuautitlán.

Laboratorio de: Sistemas Digitales.

Grupo: 2509-A

Profesor: Noemi Hernandez Dominguez.

Alumno: Reyes Mejorada Axel.

No. Práctica: 10

Nombre de la práctica: “Autómatas finitos con

máquinas de Mealy y Moore”.

Fecha de Realización: 07- Mayo- 2019

Fecha de Entrega: 14- Mayo - 2019

Semestre: 2019-2.

Objetivos:
-El alumno diseñará un sumador completo de un bit en serie.
-El alumno comprobará el funcionamiento del circuito sumador serie de un bit a través de
una máquina de Mealy y una máquina de Moore.
-El alumno analizará las semejanzas y diferencias que presentan ambos diseños.

Introducción:
Máquina de Moore:
En la Teoría de la computación, una Máquina de Moore es un autómata de estados finitos
para el cual la salida en un momento dado sólo depende de su estado en ese momento,
mientras la transición al siguiente estado depende del estado en que se encuentre y de la
entrada introducida. 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 máquina a salidas.

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.

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 Metastabilidad.
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.

Maquina de Marley:
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.
Procedimiento Experimental:
1-. Primeramente se diseñó y se monto el siguiente circuito en la tableta de conexiones:
2-. Posteriormente (en base a la tabla de estados) se demostraron los estados que nos pedia la
practica.

Estados Estado Actual Excitaciones Estado

Siguiente

X Y A B JA KA JB KB QA QB

0 0 0 0 1 X 1 X 1 1

0 0 0 1 1 X X 0 1 1

0 0 1 0 X 0 1 X 1 1

0 0 1 1 X 1 X 1 0 0

0 1 0 0 0 X 1 X 0 1

0 1 0 1 0 X X 1 0 0

0 1 1 0 X 1 1 X 0 1

0 1 1 1 X 1 X 0 0 1

1 0 0 0 0 X 0 X 0 0

1 0 0 1 0 X X 1 0 0

1 0 1 0 X 1 0 X 0 0
 1 0 1 1 X 1 X 1 0 0

1 1 0 0 1 X 0 X 1 0

1 1 0 1 1 X X 1 1 0

1 1 1 0 X 1 0 X 0 0

1 1 1 1 X 0 X 1 1 0

Resultados:

Estado Definición de estados. Resultados.

I D

0 0 Ambas apagadas. ✔

0 1 Derecha encendida. ✔

1 0 Izquierda encendida. ✔

1 1 Emergencia. ✔

Cuestionario:
1-. Investigue la función formal para una máquina de mealy y para una máquina de moore.
Mealy: Cuando llega un pulso de reloj, se captura el nuevo estado.
Moore: Es muy usado para generar secuencias de conteo ya que requiere menos circuitos
combinacionales.
2-.Diseñe un circuito secuencial que admita como entradas dos líneas A y B, procedentes de dos
registros de corrimiento con salida serie los cuales comparten el reloj de forma síncrona y que
insertan un bit por cada línea A o B en cada ciclo de reloj.
En la salida del circuito de 2 bits (Z1 y Z0) se debe ver codificado en binario, el número de ceros que
falta por introducir al sistema considerando el conteo de ceros de ambas líneas, hasta que esté (el
número de ceros introducidos) sea múltiplo de 4.
Suponer que z1 es la línea más significativa de la salida y que el estado inicial, es decir, cuando
todavía no se ha introducido ningún cero, es el mismo que el estado correspondiente a introducir un
número de ceros que sea múltiplo de 4.
 A B Q1(t) Q0(t) Q1(t+1) Q0(t+1) T1 T0 Z1 Z0
= D1 = D0

0 0 0 0 1 0 1 0 1 0

0 0 0 1 1 1 1 0 0 1

0 0 1 0 0 0 1 0 0 0

0 0 1 1 0 1 1 0 1 1

0 1 0 0 0 1 0 1 1 1

0 1 0 1 1 0 1 1 1 0

0 1 1 0 1 1 0 1 0 1

0 1 1 1 0 0 1 1 0 0

1 0 0 0 0 1 0 1 1 1

1 0 0 1 1 0 1 1 1 0

1 0 1 0 1 1 0 1 0 1

1 0 1 1 0 0 1 1 0 0

1 1 0 0 0 0 0 0 0 0

1 1 0 1 0 1 0 0 1 1

1 1 1 0 1 0 0 0 1 0

1 1 1 1 1 1 0 0 0 1

Simulación:
Conclusiones:

-Se manejó de mejor forma el conocimiento sobre los circuitos secuenciales

-Se aprendió a desarrollar un problema con máquina de Mealy y Moore

-Se obtuvo de mejor manera un conocimiento sobre los diferentes tipos de flip flop.