Finite State Machine
Una máquina de estados finitos describe el comportamiento de un sistema con estados y transiciones finitos, moviéndose entre estados impulsada por eventos; se usa para analizar protocolos y estados de UI.
Propósito
Modelar sistemas de estados discretos y simplificar lógica de estados compleja.
Mecanismo
Quíntupla (Q, Σ, δ, q0, F): conjunto de estados, alfabeto de entrada, función de transición, estado inicial y estados de aceptación. Un DFA hace una transición determinista por entrada; un NFA puede hacer varias. Mealy/Moore difieren en cuándo producen salida. La librería XState implementa FSM.
Casos de uso
- Gestión de estado
- Implementación de protocolos
- Motores de expresiones regulares