Description : L'Unité d'Enseignement de Théorie des Langages et Compilation offre une compréhension approfondie des fondements théoriques des langages de programmation, des automates, des grammaires et du processus de compilation. Ce cours combine la théorie avec une application pratique à travers un projet majeur consistant à développer un compilateur d'un langage de programmation similaire à C vers le langage d'assemblage.
Contenu du cours :
-
Introduction aux langages formels :
- Langages réguliers
- Expressions régulières
- Automates finis déterministes et non déterministes
-
Grammaires formelles :
- Grammaires formelles context-free
- Analyse syntaxique ascendante et descendante
- Notions de récursivité et de factorisation
-
Théorie de la compilation :
- Phases de la compilation
- Analyse lexicale
- Analyse syntaxique
- Analyse sémantique et typage
- Génération de code intermédiaire
- Génération de code final
- Gestion de la mémoire
-
Projet pratique : Les étudiants seront amenés à concevoir et à mettre en œuvre un compilateur pour un langage de programmation inspiré de C. Le projet inclura les différentes phases de la compilation, de l'analyse lexicale à la génération de code d'assemblage. Les étudiants auront l'occasion de mettre en pratique les concepts théoriques abordés en cours.
