Le mot w appartient au langage reconnu par l'automate si il existe un chemin de l'état initial à un état final qui décrit ce mot. e est un mot du langage reconnu par l'automate si l'état initial est final.
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.
Un automate est complet si de chaque état et chaque symbole, une transition est toujours possible : ∀(q, a) ∈ Q × V,∃p ∈ Q,(q, a, p) ∈ δ.
Pour un AF déterministe complet, δ est une fonction totale : Q × V → Q.
Un automate peut être non-déterministe mais complet