Une machine d'état est une abstraction mathématique utilisée pour concevoir des algorithmes.
Une machine d'état lit un ensemble d'entrées et passe à un état différent en fonction de ces entrées.
Un état est une description de l'état d'un système en attente d'exécution d'une transition.15 déc. 2023
Un automate est déterministe si et seulement si les deux conditions suivantes sont vérifiées : 1.
L'automate possède un et un seul état initial ; 2.
Pour chaque état q et pour chaque lettre α, il existe au plus une transition issue de q d'étiquette α.
De façon très informelle, un automate est un ensemble “d'états du système”, reliés entre eux par des “transitions” qui sont marquées par des symboles. Étant donné un “mot” fourni en entrée, l'automate lit les symboles du mot un par un et va d'état en état selon les transitions.