Máquinas de estados

Máquina de estados
Se denomina máquina de estados a un sistema cuyas señales de salida dependen no sólo del estado de las señales de entrada actuales sino también de las señales de salida anteriores que han configurado un cierto "estado".

Los sistemas secuenciales también reciben el nombre de máquinas de estados, a lo cual se le agrega el apelativo de “finitos”, si el espacio de estado querecorren contiene solamente un número finito de estados, es decir, si la cantidad de estados diferentes que puede asumir el sistema es un número finito. Los sistemas industriales automatizados pertenecen a esta categoría, razón por la cual sólo se considerará este tipo de máquina.
    También existen máquinas de estados sincrónicas y asincrónicas. En los sistemas sincrónicos, los cambios de lasentradas sólo pueden influir sobre el estado del sistema o sus salidas en instantes especiales, controlados por una entrada periódica especial (clock o reloj). La mayoría de los circuitos de la Electrónica Digital moderna son de este tipo.
    En cambio, en los sistemas asincrónicos no existe señal de reloj, por lo que los cambios de las entradas pueden influir sobre el estado del sistema o sussalidas en cualquier instante de tiempo.
Estructuras Básicas para la Máquina de Estados:
    Existen dos versiones clásicas de la máquina de estados: la máquina de Mealy y la de Moore. En la siguiente figura puede verse la estructura básica de la máquina de Mealy. Ella revela lo siguiente:
1) El próximo estado de la máquina viene determinado por expresiones lógicas exclusivamente combinacionalesdel estado actual (realimentado) y el valor actual de las entradas.
2) Las salidas actuales vienen dadas por expresiones lógicas puramente combinacionales del estado actual y el valor actual de las entradas.
[pic]
Fig. Máquina de Mealy
En la máquina de Moore se tiene que:
1) Al igual que en la máquina de Mealy, el próximo estado viene determinado por expresiones lógicas exclusivamentecombinacionales del estado actual (realimentado) y el valor actual de las entradas.
2) A diferencia de la máquina de Mealy, en este caso los valores de las salidas actuales solamente vienen dadas por expresiones lógicas puramente combinacionales del estado actual.
[pic]
Fig. Máquina de Moore
    Con respecto a ambas figuras, vale la pena decir que, para el diseño de automatismos industriales, tanto laslógicas combinacionales del próximo estado y de las salidas, como la memoria del estado actual se ejecutan mediante relés (llamados secundarios o auxiliares) y contactos de las entradas. Las entradas pueden provenir de cualquier dispositivo de los mencionados anteriormente, al igual que las salidas pueden tomar las formas descritas allí mismo.

Máquina de Mealy

De Wikipedia, la enciclopedialibre

Saltar a navegación, búsqueda
[pic]
[pic]
El diagrama de estados de una máquina de Mealy simple
En la teoría de la computación, una Máquina de Mealy es un tipo de máquina de estados finitos que genera una salida basándose en su estado actual y una entrada. Esto significa que el Diagrama de estados incluirá ambas señales de entrada y salida para cada línea de transición. En contraste,la salida de una máquina de Moore de estados finitos (el otro tipo) depende solo del estado actual de la máquina, dado que las transiciones no tienen entrada asociada. Sin embargo, para cada Máquina de Mealy hay una máquina de Moore equivalente cuyos estados son la union de los estados de la maquina de Mealy y el Producto cartesiano de los estados de la maquina de Mealy y el alfabeto de entrada.El nombre "Máquina de Mealy" viene del promotor del concepto: G. H. Mealy, un pionero de las máquinas de estados, quien escribió Un Método para sintetizar Circuitos Secuenciales, Bell System Tech. J. vol 34, pp. 1045–1079, September 1955.
Las máquinas de Mealy suministran un modelo matemático rudimentario para las máquinas de cifrado. Considerando el alfabeto de entrada y salida del alfabeto...