L'UE offre un parcours de la chaîne de compilation.
Ce faisant elle apporte d'une part des connaissances en informatique théorique et fondamentale, notamment à travers l'étude des langages rationnels et algébriques, des automates à états finis (omniprésents en informatique), avec théorèmes de rationalité ou non, d'algébricité ou non, et techniques de déterminisation et minimisation des états. L'UE prépare ainsi au module de modèles de calculs qui introduira les machines de Turing en M1.
D'autre part, les TP permettent d'illustrer les concepts théoriques, en montrant l'implantation et le fonctionnement pratique des automates introduits de manière formelle. Effectués en Ocaml, ils illustrent les fonctionnements d'automates, d'analyses lexicales et syntaxiques et complètent la préparation au module de compilation en M1.
