Une machine à états finis est un modèle mathématique de calcul qui décrit le comportement d'un système qui ne peut se trouver que dans un seul état à un moment donné. Par exemple, disons que vous pouvez être représenté par une machine à états avec un nombre fini (2) d'états : endormi ou éveillé. À tout moment, vous êtes soit endormi, soit éveillé. Il est impossible que vous soyez à la fois endormi et éveillé, et il est impossible que vous ne soyez ni endormi ni éveillé.

Formellement, les machines à états finis ont cinq parties :

1. Un nombre fini d'états
2. Un nombre fini d'événements
3. Un état initial
4. une fonction de transition qui détermine l'état suivant en fonction de l'état et de l'événement actuels
5. Un ensemble (éventuellement vide) d'états finaux

L'état fait référence à un "mode" ou à un "statut" qualitatif et fini d'un système modélisé par un automate d'états, et ne décrit pas toutes les données (éventuellement infinies) liées à ce système. Par exemple, l'eau peut se trouver dans l'un des quatre états suivants : glace, liquide, gaz ou plasma. Cependant, la température de l'eau peut varier et sa mesure est quantitative et infinie.

Plus de ressources :

• L'article sur les machine à états finis sur Wikipedia