Tabla de contenido
Las máquinas de estados finitos (FSM, por sus siglas en inglés) son un modelo fundamental en la ingeniería de sistemas digitales y de control. Se utilizan para describir el comportamiento secuencial de un sistema mediante una serie finita de "estados" bien definidos. En cada momento, el sistema se encuentra en uno de estos estados, y cambia a otro dependiendo de las entradas y las condiciones del entorno. Este modelo permite estructurar de manera ordenada el funcionamiento de sistemas complejos, facilitando su diseño, implementación y depuración, especialmente cuando se utilizan microcontroladores o FPGAs.
Una máquina de estados finitos (FSM) es un modelo matemático de comportamiento secuencial compuesto por:
El sistema parte de un estado inicial y cambia de estado conforme ocurren eventos de entrada, siguiendo reglas predefinidas conocidas como transiciones. Las FSM se implementan comúnmente en lenguaje C, ASM, VHDL o Verilog y son ampliamente utilizadas en sistemas embebidos, automatización industrial y control de procesos.