Finite State Machine
Un automate fini décrit le comportement d'un système avec des états et transitions en nombre fini, se déplaçant entre états sous l'effet d'événements ; utilisé pour l'analyse de protocoles et les états d'interface.
Objectif
Modéliser des systèmes à états discrets et simplifier des logiques d'état complexes.
Mécanisme
Quintuplet (Q, Σ, δ, q0, F) : ensemble d'états, alphabet d'entrée, fonction de transition, état initial, états acceptants. Un DFA effectue une transition déterministe par entrée ; un NFA peut en faire plusieurs. Mealy/Moore diffèrent par le moment de production de la sortie. La bibliothèque XState implémente des automates.
Cas d’usage
- Gestion d'état
- Implémentation de protocoles
- Moteurs d'expressions régulières