La programmation basée sur les automates est un paradigme de programmation informatique qui traite les sections du programme comme des automates finis. Chaque automate peut prendre une "étape" à la fois et l'exécution du programme est décomposée en étapes individuelles. Les étapes communiquent les unes avec les autres en modifiant la valeur d'une variable représentant "l'état", et le flux de commande du programme est déterminé par la valeur de cette variable.

La variable "state" peut être un simple type de données enum, mais des structures de données plus complexes peuvent être utilisées. Une technique courante consiste à créer une table de transition d'état, un tableau à deux dimensions comprenant des lignes représentant chaque état possible et des colonnes représentant un paramètre d'entrée. La valeur de la table où la ligne et la colonne se rencontrent est l'état suivant auquel la machine doit passer si les deux conditions sont remplies.

Machine à états finis, entrée, paradigme, termes de programmation