Cette unité d'enseignement propose l'étude des automates et des langages qu'ils représentent, tant du point de vue de la modélisation que des algorithmes associés utiles pour traiter automatiquement ces objets.