Máquina de Moore

Máquina de Moore
Modelo de Moore simple.

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 maquina 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, Anales de los Estudios Matemáticos, no. 34, Princeton University Press, Princeton, N. J., 1956.

La mayoría de las 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.

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.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Máquina de Mealy — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Máquina de estados algorítmica — La Máquina de estados algorítmica (ASM) es un método para el diseño de Máquina de estados finitos. Se utiliza para representar los diagramas de circuito integrado s digitales. El diagrama de ASM es como un diagrama de estado, pero menos formal y… …   Wikipedia Español

  • Máquina autoreplicante — Un forma simplificada de máquina autoreplicante Una máquina autoreplicante es una construcción artificial que es teóricamente capaz de fabricar, en forma autónoma, una copia de sí mismo usando materias primas tomadas del ambiente que la rodea. El …   Wikipedia Español

  • Máquina de pila — Una máquina de pila es un modelo computacional en el cual la memoria de la computadora toma la forma de una o más pilas. El término también se refiere a un computador real implementando o simulando una máquina de pila idealizada. Adicionalmente,… …   Wikipedia Español

  • Henry Moore — fotografíado por Lothar Wolleh (c. 1970) …   Wikipedia Español

  • Charles H. Moore — Charles H. Moore. Charles H. Moore (también conocido como Chuck Moore) (nació en 1938) es el inventor del lenguaje de programación Forth. En 1968, mientras estaba empleado en el National Radio Astronomy Observatory (NRAO) de Estados Unidos, Moore …   Wikipedia Español

  • Diagrama de estados — Saltar a navegación, búsqueda si representamos una substancia en un gráfico su presión de vapor para cada temperatura(marcados en el gráfico como líneas gruesas y continuas) y añadimos la temperatura del cambio de estado (marcados como líneas más …   Wikipedia Español

  • Sistema secuencial — A diferencia de los sistemas combinacionales, en los sistemas secuenciales, los valores de las salidas, en un momento dado, no dependen exclusivamente de los valores de las entradas en dicho momento, sino también dependen del estado anterior o… …   Wikipedia Español

  • Anatoli Karatsuba — Saltar a navegación, búsqueda Anatoli Alekséyevich Karatsuba (Grozni, 31 de enero de 1937 Moscú, 28 de septiembre de 2008) es un matemático ruso, conocido sobre todo por el algoritmo de Karatsuba, un procedimiento para multiplicar números grandes …   Wikipedia Español

  • Código enhebrado — En ciencias de la computación, el término código enhebrado se refiere a una técnica de implementación del compilador donde el código generado tiene una forma que esencialmente consiste enteramente en llamadas a subrutinas. El código puede ser… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”