DESCRIPCIÓN Y DISEÑO DE UNA MÁQUINA DE ESTADO FINITO

Descripción: Una máquina de estado finito, o FSM, es un modelo de computación que sólo puede estar
en uno de un número finito de estados en un momento dado. Como su nombre indica, una FSM es finita
en el sentido de que acabará ejecutándose una vez puesta en marcha. El FSM suele estar definido por
un conjunto de reglas que describen las transiciones de estado que puede realizar, junto con las
entradas que provocan la transición de un estado a otro. Estas entradas también se denominan a veces
«eventos». La imagen muestra una máquina de estados finitos en forma de gráfico. Muestra los valores
de entrada y las correspondientes transiciones de estado que se producen. La máquina de estados
finitos comienza en el estado S1 y termina en el estado S4, en este caso, después de seguir el camino
mostrado.

Diseño:
EJEMPLO DE PROGRAMACION CON MAQUINA DE ESTADO FINITO MODELO MOORE

Describo un detector de secuencia con solapamiento. Uso la sentencia case para modelizar la máquina
de estados. Uso tipo de datos enumerados para definir los estados. Diseño la máquina de estados
usando dos procesos, uno secuencial y otro combinacional.