Le mot vient du grec et signifie littéralement \og qui agit tout seul \fg.
Les automates sont des \textit{machines} qui permettent d'exécuter des algorithmes (ou de faire des calculs) très simples ; ils sont omniprésents en informatique.
On formalise l'exécution d'un automate par la reconnaissance d'un langage, c'est-à-dire un ensemble de mots. Cette notion apparaît principalement dans les domaines suivants :
\begin{itemize}
\item L'analyse sémantique (\textit{parsing}) ;
\item Les compilateurs ;
\item Les contrôleurs.
\end{itemize}
- Enseignant: Jean-Marc Tregan