El documento describe la máquina de Moore, un autómata de estados finitos creado por Edward Moore donde las salidas están determinadas por el estado actual. Se presenta un diseño de circuito de control para un semáforo peatonal con tres estados: verde, verde y amarillo, y rojo. El diseño muestra las ventajas e inconvenientes de usar máquinas de Moore.

1.  PRESENTAN:
 Jeyson Edison Aranda Argueta
 Misael Adilfonso Amaya Gomez
 Ronald José Sol Fuentes
 Cesar Alvin Argueta
 Waldiw Manrique Argueta

2. MAQUINA DE
MOORE

3. ¿ Quién crea el Autómata de Moore?
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, Estudios de
Autómatas, Anuales de los Estudios Matemáticos, no. 34,
Princeton University Press, Princeton, N. J., 1956.

4. ¿Qué es el Autómata de Moore?
En la Teoría de la computació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.

5. Se desea diseñar el circuito de control de un semáforo de
peatones, cuyo funcionamiento se describe a
continuación.
El semáforo permanecerá por tiempo indefinido en VERDE
luego cambiara a luz AMARILLA sin apagar la luz VERDE
por un pequeño tiempo luego cambiara a luz ROJA y el
sistema se reiniciara nuevamente volviendo a su estado
inicial.

6. q0 q1
q2
1
0
0

7. Estado Definición Cv Ca Cr
q0 Verde 1 0 0
q1 Verde y amarillo 1 1 0
q2 Rojo 0 0 1

8. VENTAJAS
 Su simplicidad hace fácil para los desarrolladores sin experiencia realizar
implementación con poco o nada de conocimiento extra (fácil entrada)
 Predictibilidad (en MEF deterministas), dado un grupo de entradas y un
estado actual conocido, puede predecirse la transición de estados,
facilitando la tarea de verificación
 Dada su simplicidad, los MEF son rápidos de diseñar, rápidos e
implementar y rápidos de ejecutar
 MEF en una técnica antigua de representación de conocimiento y
modelado de sistemas, y ha sido usados desde hace tiempo, como tal ha
sido verificado como una técnica de inteligencia artificial, con muchos
ejemplos de los que aprender

9.  La naturaleza predecible de las MEF deterministas puede no resultar
conveniente en algunos dominios como los juegos por ordenador (la
solución pasa por implementar una MEF no determinista)
 Si se implementa un sistema grande usando MEF puede ser difícil de
administrar y mantener sin un buen diseño. Las transiciones entre
pueden causar cierto grado de "factor espagetti" al intentar seguir una
linea de ejecución.
 No es apropiado para todos los dominios de problema, solo debe ser
usado cuando el comportamiento de un sistema puede ser
en estados separados con condiciones bien definidas para las
Esto significa que todos los estados, transiciones y condiciones deben ser
conocidos y estar bien definidos.