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 que recorren 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. …ver más…

Sin embargo, aunque tu podrías probablemente usar un modelo de Mealy para describir una Máquina Enigma, el diagrama de estados sería demasiado complejo para suministrar medios factibles de diseñar máquinas de cifrado complejas.

[editar] Definición Formal

Una máquina de Mealy es una n-tupla, (S, S0, Σ, Λ, T, G), consistiendo en • un conjunto finito de estados (S) • un estado inicial S0 el cual es un elemento de (S) • un conjunto finito llamado el alfabeto entrada (Σ) • un conjunto finito llamado el alfabeto salida (Λ) • una función de transiciones (T : S × Σ → S) • una función de salida (G : S × Σ → Λ)

Máquina de Moore

De Wikipedia, la enciclopedia libre

Saltar a navegación, búsqueda
[pic]
[pic]
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,