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 solo 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.
Modelo 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, 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 metaestabilidad.
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.
máquina, moore, teoría, computación, autómata, estados, finitos, para, cual, salida, momento, dado, solo, depende, estado, momento, mientras, transición, siguiente, estado, depende, estado, encuentre, entrada, introducida, diagrama, estados, para, máquina, moo. En la Teoria de la computacion una Maquina de Moore es un automata de estados finitos para el cual la salida en un momento dado solo depende de su estado en ese momento mientras la transicion al siguiente estado depende del estado en que se encuentre y de la entrada introducida El diagrama de estados para una maquina Moore incluira una senal de salida para cada estado Comparada con la Maquina de Mealy la cual mapea transiciones en la maquina a salidas Modelo Moore El nombre Moore machine viene de su promotor Edward F Moore un pionero de las maquinas de estados quien escribio Gedanken experiments on Sequential Machines pp 129 153 Estudios de Automatas Anuales de los Estudios Matematicos no 34 Princeton University Press Princeton N J 1956 La mayoria de las maquinas electronicas estan disenadas como sistemas secuenciales sincronos Los sistemas secuenciales sincronos son una forma restringida de maquinas de Moore donde el estado cambia solo cuando la senal de reloj global cambia Normalmente el estado actual se almacena en Flip flops y la senal de reloj global esta conectada a la entrada clock de los flip flops Los sistemas secuenciales sincronos son una manera de resolver problemas de metaestabilidad Una maquina electronica de Moore tipica incluye una cadena de Logica combinacional para decodificar el estado actual en salidas lambda El instante en el cual el estado actual cambia aquellos cambios se propagan a traves de la cadena y casi instantaneamente las salidas cambian o no cambian Hay tecnicas de diseno para asegurar que no ocurran errores de corta duracion en las salidas durante el breve periodo mientras esos cambios se estan propagando a traves de la cadena pero la mayoria de los sistemas estan disenados para que los glitches durante el breve tiempo de transicion sean ignorados Las salidas entonces permanecen igual indefinidamente por ejemplo los LEDs permanecen brillantes la bateria permanece conectada a los motores etc hasta que la maquina de Moore cambia de estado otra vez Definicion formal EditarUna maquina de Moore puede ser definida como una 6 tupla S S0 S L T G consistente de un conjunto finito de estados S un estado inicio tambien llamado estado inicial S0 el cual es un elemento de S un conjunto finito llamado alfabeto entrada S un conjunto finito llamado el alfabeto salida L una funcion de transicion T S S S mapeando un estado y una entrada al siguiente estado una funcion salida G S L mapeando cada estado al alfabeto salida El numero de estados en una maquina de Moore sera mayor o igual al numero de estados en la Maquina de Mealy correspondiente Vease tambien EditarMaquina de Mealy Datos Q640119 Multimedia Category Moore machine Obtenido de https es wikipedia org w index php title Maquina de Moore amp oldid 127818789, wikipedia, wiki, leyendo, leer, libro, biblioteca,
