Una «máquina de estado algorítmico» ó ASM, es el otro nombre con el que se conoce al autómata.

Las cartas ASM son una forma de diagrama de flujo. Tales, son otra forma de expresión de los diagramas de estado y apenas tienen relación con los diagramas de flujo tratados en lenguajes de programación para microprocesadores. Las cartas ASM siguen manteniendo el concepto de estado y el que la ASM esté en un estado u otro está sincronizado con el reloj.

contenido

  1. ...


Una máquina de estado algorítmico es un modelo matemático de una entidad que transita de un estado a otro en función de una entrada y del estado actual. La salida que genera es una función de solamente el estado o es una función del estado y de una entrada.

Las máquinas de estado algorítmico se caracterizan en que requieren de:

  1. Memoria para recordar los estados
  2. Una señal de reloj que sincronice la transición entre estados.


ASM = { Q , Σ , Γ , δ , λ , { q0 } , F };

	Q : estados
	Σ: Alfabeto de entrada
	Γ: Alfabeto de salida
	δ: Función de transición
	λ Función de salida no condicionada.
	q0: estado inicial
	F: Conjunto de estados finales

Así entonces, cada conjunto puede ser declarado como:

Q={ q0 , q1 , q2 , ... , qR }

Σ = { s0 , s1 , s2 , ... , sM }

Γ = { g0 , g1 , g2 , ... , gN }

λ: Q → Γ: La «función de transición no condicional» calcula solamente la salida del sistema en función del estado actual.

δ: Q × Σ → Q × Γ: La «función de transición condicional» calcula la salida del sistema y el estado siguiente en función del estado actual y de una entrada.

F ⊆ Q: Los estados finales no serán tratados en la presente obra.


Una variable es un símbolo que puede tomar cualquier valor de un conjunto, con la restricción de que solamente un valor en cada instante. Por ejemplo


Variable de entrada:

a : Σ


Variables de salida:

x, y, z : Γ


Se puede asignar un valor inicial a la variable de la forma siguiente:

x : Γ := γ0


δ: Q × Σ → Q × Γ
     Función de transición que describe una salida que es función del estado actual y de la entrada.
λ: Q → Γ
     Función de salida no condicionada: calcula una salida que es función únicamente del estado actual.


La función de transición y la función de salida no condicionada se suelen representar mediante un diagrama conocido como «Carta ASM».


Esta forma es la más antigua y es de estricto seguimiento cuando se implementa un ASIC.



Esta es la forma que más se adapta al lenguaje VHDL y es la forma utilizada en esta obra.