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.
L'automatisation informatique (ou automatisation de l'infrastructure) consiste à utiliser des logiciels pour créer des instructions et des processus reproductibles dans le but de réduire les interventions humaines ou de les remplacer par des systèmes informatiques.
Les automates sont des objets mathématiques, très utilisés en informatique, qui permettent de modéliser un grand nombre de systèmes (informatiques).
L'étude des automates a commencé vers la fin des années cinquante.
Elle se base sur de nombreuses techniques (topologie, théorie des graphes, logique, algèbre, etc.).