En la teoría del cómputo, una máquina harinosa es un autómata finito (y más exactamente, un transductor finito del estado) que genera una salida basada en su del estado actual y una entrada. Esto significa que el diagrama de estado incluirá una entrada y la señal de salida para cada borde de la transición. En cambio, la salida de un autómata finito de Moore depende solamente del estado actual de la máquina; las transiciones no tienen ninguna entrada atada. Sin embargo, porque cada máquina harinosa hay una máquina equivalente de Moore.

La máquina harinosa del conocido viene de la del promotor del concepto, G. harinoso, pionero de la estado-máquina que escribió el " Un método para sintetizar Circuits" secuencial; en 1955.

Las máquinas harinosas proporcionan un modelo matemático rudimentario para las máquinas de la cifra. En vista del alfabeto de entrada y de la salida el alfabeto latino, por ejemplo, entonces una máquina harinosa puede ser diseñado que dado una cadena de las letras (una secuencia de entradas) pueda procesarla en una secuencia cifrada (una secuencia de salidas). Sin embargo, aunque usted podría utilizar probablemente un modelo harinoso para describir el enigma, el diagrama de estado sería demasiado complejo proporcionar medios factibles de diseñar las máquinas que cifran complejas.

Definición formal

Una máquina harinosa es un tuple 6, (el S, el S ₀, Σ, Λ, T, G ), consistiendo en el siguiente:
un sistema finito de los estados ( S )
un S ₀ del estado del comienzo (también llamado estado inicial) de el cual es un elemento (el S )
un sistema finito llamado el alfabeto de la entrada (Σ)
un sistema finito llamado el alfabeto de la salida (Λ)
una función ( T de la transición: S DEL → DEL × Σ DEL S )
una función de salida ( G : → Λ DEL × Σ DEL S )

Ver también

Notas al pie de la página

.