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 α.
Machine qui, par le moyen de dispositifs mécaniques, pneumatiques, hydrauliques, électriques ou électroniques, est capable d'actes imitant ceux des corps animés. (Pris souvent dans le sens d'androïde.) 3.
Machine et mécanisme automatiques, utilisés par exemple pour la peinture et le soudage dans l'industrie automobile.
Pour émonder un automate, on supprime tous les états qui ne sont pas à la fois accessibles et co–accessibles.
Attention : avec notre codage, si n est le nombre d'états d'un automate, tous les états de 0 à n - 1 doivent être utilisés.