MAS 315 : Langages formels et compilation
La compilation est une pratique fondamentale en informatique,
qui s'applique non seulement lorsque l'on veut exécuter ou interpréter
un texte écrit dans un langage de programmation, mais aussi dans
toutes les circonstances où une interaction homme-machine est
suffisamment complexe pour nécessiter un « langage ».
L'objectif de ce cours est de poser les bases formelles et
techniques de la compilation. On commence par les notions
mathématiques de langage formel, de grammaire formelle (système de
ré-écriture) et d'automate. La seconde partie du cours est alors
consacrée aux différentes techniques mises en oeuvres lors des grandes
étapes de la compilation, analyse lexicale, analyse syntaxique, et
traduction.