Le cours suit l'approche classique de la compilation, avec une extension vers le modèle des machines de Turing.
1. Analyse lexicale, expressions régulières, et automates finis
2. Analyse syntaxique, grammaires formelles et automates à pile
3. Lien entre langages et problèmes algorithmiques, Machines de Turing
4. Analyse sémantique et grammaires attribuées
5. Génération de code
Les concepts étudiés seront mis en œuvre en utilisant des outils dérivés de Lex & Yacc pour la génération de compilateurs.
- Gestionnaire: Didier Lime
- Enseignant: Loriane LECLERCQ