Este documento describe la máquina de Moore, incluyendo su definición, funcionamiento y componentes. Explica que la máquina de Moore tiene estados y funciones de transición y salida que mapean entre estados y entradas/salidas. El documento también resume los objetivos del proyecto de investigación sobre la máquina de Moore y ofrece recomendaciones para estudiantes.
1. 1
Universidad Gerardo
Barrios
Facultad de Ciencias Y Tecnologías
Catedrático:
Víctor Edgardo López Sandoval
Catedra:
Teoría de La Computación
Carrera:
Ing. En Sistemas Y redes Informáticas
Tema:
La Máquina de Moore
Integrantes:
Ronald Jose Sol Fuentes
Cesar Alvin Argueta Argueta
Misael Adilfonso Amaya Gomez
Jeyson Edison Aranda Argueta
Wualdiw Manrique Marquez Argueta
3. 3
INTRODUCCIÓN
Durante el presente trabajo se desarrolla el tema “CREACIÓN DE LA MÁQUINA DE
MOORE” Donde el nombre Moore machine viene de su promotor: Edward F. Moore, un
pionero de las máquinas de estados.
Como equipo hemos adquirido nuevos conocimientos sobre todo como poder resolver
distintas problemáticas que se nos puedan presentar en muchas ocasiones y de cómo poderles
dar soluciones con las formulas ya establecidas.
La máquina de Moore cuenta con una diferencia de conjuntos y elementos representados a
continuación.
E: alfabeto de entrada.
S: alfabeto de salida.
Q: Conjunto finito no vacío de estados
F: Función de transición
G: Función de salida
La máquina de more nos sirve para poder utilizar estados, los cueles 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.
4. 4
Antecedentes
¿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, pp 129– 153, Estudios de Autómatas, Anales de los
Estudios Matemáticos, no. 34, Princeton University Press,
Princeton, N. J., 1956.
5. 5
JUSTIFICACION
La presente investigación se enfoca en los estudios que permitan que sea de fácil operación
y que además brinde la seguridad de los resultados obtenidos con los ensayos que se realicen
con la misma, ya que debido a su diseño debe ser lo más simple posible, que brinde facilidad
en el mantenimiento y en su operación. Así, el presente trabajo permitiría conocer el diseño
y construcción de las máquinas basándose principalmente en el estudio de la fatiga de los
materiales para obtener como resultado máquinas que tengan una mayor vida útil y con la
mayor seguridad. Mostrar los cambios que se han obtenido durante la práctica del trabajo y
los conocimientos teóricos sobre los procesos.
6. 6
OBJETIVOS
Objetivos generales
Lograr el aprendizaje de conocimientos y funcionamiento de autómatas finitos.
Desarrollar actitudes en el manejo de ejercicios y prácticas para poder desarrollar
autómatas.
Objetivos Específicos
Analizar el aprendizaje en el desarrollo de la clase.
Descubrir la práctica de ejercicios de autómatas finitos.
7. 7
MARCO TEORICO
¿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. Comparada con la Máquina de Mealy, la cual mapea
transiciones en la máquina a salidas.
8. 8
¿Cómo se puede definir la máquina de Moore?
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.
9. 9
¿Cómo Funciona la Máquina De Moore?
La semántica procedimental de la máquina de Moore es la siguiente:
Al inicio de cualquier computación, la máquina se encuentra en el estado q0.
Posteriormente, cuando la máquina se encuentra en un estado , y recibe una literal de
entrada , entonces transita al nuevo estado y emite el símbolo de
salida .
¿Con que objetivo se desarrollaron las máquinas de Moore?
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.
¿Qué incluye una máquina de Moore?
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.
10. 10
Máquinas de estados
El comportamiento de un circuito síncrono se puede representar mediante
una máquina de estados (MEF, o “Finite
State Machine”)
Una máquina de estados tiene los siguientes elementos:
• X = Entradas
• Y = Salidas
• Z = Estados (valores de los biestables, cambian con cada flanco
de reloj)
• δ = Funciones de estado (funciones combinacionales de entrada
de los biestables)
• λ = Funciones de salida (combinacionales)
Una MEF se define como una secuencia de eventos en tiempos discretos. El
estado Z cambia en cada evento (el cambio está definido por δ).
En el modelo de Moore las salidas dependen únicamente de los
estados (no de las entradas) Máquina de estados de Moore:
• Z = δ (X, Z)
• Y = λ (Z) Estructura de un circuito asociado a un modelo de
Moore:
11. 11
Modelo de Moore
l El reloj y el reset no aparecen en las máquinas de estados, la asociación
entre estas señales en un circuito y la máquina de estados es:
• En cada flanco de reloj se produce una transición o cambio de
estado
• El reset se utiliza únicamente para establecer el estado inicial
En las máquinas de estados de Moore las salidas cambian únicamente si hay
un cambio de estado:
• Las salidas están sincronizadas con el reloj
Estado
(SEC.)
Funciones
De Estado
(COMB)
Funciones
De salida
(COMB))
Entradas
Salidas
12. 12
Una MEF se puede representar también mediante un diagrama de estados
(STG o “State Transition Graph”):
• Cada estado se representa con un círculo
• Cada transición de estado se representa con una flecha
• Los diferentes valores de las entradas se representan en las
flechas
• En el caso del modelo de Moore, las salidas se representan dentro
de cada estado
Diagrama de estados (Moore):
Estado 1
Salida 1
Estado 2
Salida 2
Estado 3
Salida 3
Entrada 2
13. 13
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.
Estado Definición Qv Qa Qr
q0 Verde 1 0 0
q1 Verde y amarillo 1 1 0
q2 Rojo 0 0 1
q0 q1
q2
1
0
0
14. 14
CONCLUSIÓNES
En este proyecto se ha desarrollado una nueva herramienta especializada en la representación
y manipulación de grafos de autómatas finitos, basados en autómatas de Moore, la cual
provee un entorno gráfico para editar, representar, salvar y guardar los grafos mencionados.
Las principales características de la herramienta desarrollada son:
Se ha usado la herramienta para la generación de los grafos, la cual, gracias a su versatilidad.
Se ha desarrollado siguiendo un modelo de forma que se separe el comportamiento de la
presentación de resultados.
Se ha utilizado el formato gráfico para los grafos generados. Como aspectos de mejora y
ampliación
Ampliar la herramienta o desarrollo basado en la máquina de moore para que pueda
representar otros tipos de autómatas finitos
15. 15
RECOMENDACIONES
Recomienda a los estudiantes aprenderá desarrollar grafos de autómatas finitos, basados en
autómatas.
Que desarrollen las habilidades de los tipos de autómatas
Que tenga un objetivo claro en el conocimiento a desarrollar ejercicios de teoría practica
Ventajas de una máquina de estado finito
Su simplicidad hace fácil para los desarrolladores sin experiencia realizar la
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
Las MEF son relativamente flexibles. Existen varias maneras de implementar un
sistema basado en MEF en términos de su topología, y es fácil incorporar muchas
otras técnicas.
La transferencia desde una representación abstracta del conocimiento a una
implementación es fácil
Bajo uso del procesador; apropiado para dominios donde el tiempo de ejecución
está compartido entra varios módulos o subsistemas. Solo el código del estado
actual ha de ser ejecutado, además de un poco de lógica para determinar el estado
actual.
16. 16
Es fácil determinar si se puede llegar o no a un estado, en las representaciones
abstractas, resulta obvio si se puede o no llegar a un estado desde otro, y que
requerimientos existen para hacerlo.
Desventajas de una máquina de estado finito
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 estados 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 descompuesto en estados separados
con condiciones bien definidas para las transiciones. Esto significa que todos los
estados, transiciones y condiciones deben ser conocidos y estar bien definidos.
Las condiciones para las transiciones entre estados son rígidas, significando que
están fijadas
Como la mayoría de técnicas, las heurísticas para saber dónde y cómo implementar máquinas
de estados finitos son subjetivas y dependen de cada problema específico. Está claro que las
MEF están bien adaptadas a dominios de problemas que se expresan fácilmente usando
diagramas de flujo y poseen un grupo de estados y reglas que gobiernan las transiciones entre
estados bien definidos.
17. 17
ANEXOS
MEALY Y MOORE- MODELO DE CIRCUITOS SECUENCIALES
https://bloganalisis1.files.wordpress.com/2011/01/apuntesdsd10_mealy_moor
e.pdf
AUTOMATAS SECUENCIALES FINITOS
http://www.aquihayapuntes.com/automatas-secuenciales-finitos.html
MAQUINA DE MOORE
https://es.wikipedia.org/wiki/M%C3%A1quina_de_Moore