INSTITUTO POLITÉCNICO NACIONAL

ESCUELA SUPERIOR DE CÓMPUTO

UNIDAD DE APRENDIZAJE: ARQUITECTURA DE COMPUTADORAS

TAREA 01.
TERCER PARCIAL
MAQUINA DE ESTADOS

MEZA DÍAZ ARTURO RODRIGO

PROF. GELACIO CASTILLO CABRERA

 Introducción.
Las máquinas de estados finitos (MEF) son modelos matemáticos que se utilizan para describir
el comportamiento secuencial de sistemas, proporcionando una herramienta poderosa en la
teoría de la computación y en el diseño de circuitos digitales. Estas máquinas son fundamentales
para representar sistemas que evolucionan a través de estados discretos en respuesta a eventos
externos. Una de las técnicas más utilizadas en su diseño es el método de Moore, el cual se
caracteriza por asignar salidas directamente a los estados en lugar de a las transiciones entre
estados.

En una MEF de Moore, cada estado tiene asociada una salida específica que se activa mientras
el sistema permanece en ese estado. A diferencia del método de Mealy, donde las salidas están
vinculadas a las transiciones, en el método de Moore, las salidas son determinadas únicamente
por el estado actual. Esto implica que la respuesta del sistema se basa únicamente en la
condición presente, sin depender de eventos futuros.

Figura 1. Diagrama de estados método Mealy.

El proceso de diseño de una MEF mediante el método de Moore involucra varios pasos clave.
En primer lugar, es necesario identificar los estados que son esenciales para describir el
comportamiento del sistema. Luego, se definen las transiciones entre estos estados, indicando
cómo el sistema responde a los eventos. Posteriormente, se asignan las salidas correspondientes
a cada estado, representando la respuesta deseada en función del estado actual.

Figura 1. Diagrama de estados con método Moore

Este enfoque ofrece claridad y estructura en la representación de sistemas secuenciales,
simplificando la comprensión del flujo de control y la lógica de decisión. El método de Moore
se utiliza comúnmente en la implementación de sistemas embebidos, controladores digitales y
circuitos secuenciales, brindando una solución efectiva para diseñar sistemas complejos con
múltiples estados y comportamientos específicos. La flexibilidad y la modularidad inherente al
método de Moore permiten adaptar las MEF a una variedad de aplicaciones, convirtiéndolo en
una herramienta valiosa en el diseño y la implementación de sistemas digitales.

Requerimientos.
Resolver la máquina de estado que detecte la secuencia "00111" por Moore.
La salida se mantiene en 0 hasta que se complete la secuencia.

Cuando se complete la secuencia la salida se pone en 1 después de la primera secuencia inicia

detección de siguiente secuencia.

a) Diagrama de transición de estados

b) Tabla de transición de estados

Resolución de requerimientos.
a) Diagrama de transición de estados

Para el desarrollo de este inciso se empleará la herramienta dedicada a este fin, llamada JFlap
para diseñar un diagrama de una máquina de estados finitos que detecte la secuencia 001111,
manteniendo la salida en 0 hasta que se complete la secuencia.

Para comenzar, la máquina comienza en el estado q0 y, en general, avanza al siguiente estado

cuando se cumple la secuencia. Así mismo, la salida se establece en 1 en el estado q5 luego de
haber completado la secuencia.

Posteriormente, se agregan transiciones a partir de cada estado hacia sí mismo con un valor de
1 para asegurar que la máquina se mantenga en ese estado si se lee un 1. Entonces, se agregan
transiciones desde los estados q1, q2, q3, q4 y q5 hacia q0 con un valor de 1 para reiniciar el
proceso si no se cumple la secuencia. Se añade una transición desde q2 hacia sí mismo con un
valor de 0 para garantizar la presencia de al menos dos ceros antes de un 1.

Por último, el estado q5 contiene una transición hacia q0 con un valor de 1 para habilitar la
búsqueda continua esta secuencia. Por lo tanto, este diseño asegura la detección de la secuencia
deseada y el reinicio adecuado en caso de que no se lleve a cabo.
 Figura 3. Diagrama de estados con método Moore para resolución de requerimientos.

b) Tabla de transición de estados

Después de completar el diagrama, creamos una tabla de transición de estados para formalizar
el comportamiento de la máquina. Con un total de 6 estados, la tabla refleja la relación entre el
estado actual, el valor de entrada o transición, y el valor de salida correspondiente.

Figura 4. Tabla de transiciones de diagrama.

 Prueba para detectar secuencia 00111:

Referencias
• Harris, S., & Harris, D. (2013). Digital Design and Computer Architecture (2nd ed.).
Morgan Kaufmann.
• Brown, S., & Vranesic, Z. (2009). Fundamentals of Digital Logic with Verilog Design.
McGraw-Hill Education.
• Tocci, R. J. (2018). Digital Systems: Principles and Applications (13th ed.). Pearson.
• Herrero, A. B. P. S. S. Y. R. (s. f.). 6.2 Diagramas de Estado | Introducción a la
automatización industrial.
https://bookdown.org/alberto_brunete/intro_automatica/diagramas-de-estado.html