Una FSM (Finite State Machine)

Una máquina de estado finito nos sirve para realizar procesos bien definidos en un tiempo discreto. Reciben una entrada, hacen un proceso y nos entregan una salida.

Es una máquina capaz de seguir una secuencia finita de pasos al introducir un conjunto de datos en ella. Se puede leer solo un dato en cada paso que realice por lo que la cantidad de pasos a realizar esta dada por los datos de entrada. Cada entrada diferente genera una salida diferente, pero cada entrada genera siempre la misma salida.

Algunos algoritmos no pueden implementarse solo en software. Las razones pueden variar de acuerdo a la aplicación pero frecuentemente hacen referencia a una capacidad de procesamiento que no puede obtenerse con microprocesadores.

La solución para implementar estos algoritmos es utilizar hardware. Cuando un algoritmo se implementa en hardware, las maquinas de estado se emplean para acompañar la tarea (control). Una maquina de estados puede ser de la complejidad que se quiera y funciona de forma similar al software. La forma más simple de máquina de estados es un contador.

Una FSM (Finite State Machine) descompone un algoritmo en pasos (estados). Las transiciones entre estado pueden depender de una condición o evento, o pueden producirse en forma incondicional. Las condiciones y eventos están asociados a las entradas del circuito. Las maquinas de estado se representan por medio de Diagramas de Estados y Tablas de Transición de Estados.

El Diagrama de Estados describe el comportamiento de un circuito secuencial en forma gráfica. Una FSM siempre tendrá un diagrama de estados asociado. Los Estados del circuito se simbolizan como círculos y se etiquetan con letras mayúsculas. Las transiciones entre estados se representan con flechas. Estas se rotulan con las entradas y el valor de estas que produjo la transición. Las salidas pueden aparecer ya sea en las flechas o en los círculos.

...