Volumes horaires
- CM 30.0
- TD 15.0
Crédits ECTS
Crédits ECTS 4.0
Objectif(s)
Le but de cet enseignement est d’étudier et de présenter les bases de théorie
des langages et de compilation. En théorie des langages seront étudiés les
formalismes qui permettent de définir la syntaxe des langages informatiques :
langages réguliers (automates et expressions régulières), langages
hors-contexte (grammaires hors-contexte). La seconde partie du cours présente
certaines techniques classiques en compilation, en particulier l’analyse
lexicale et syntaxique, la vérification contextuelle et la génération de code.
Ces différentes techniques seront mise en oeuvre dans un TP.
Contact Catherine ORIAT
Contenu(s)
1.Théorie des langages
2.Analyse lexicale
3.Analyse syntaxique
4.Analyse contextuelle
5.Organisation de l’espace mémoire
6.Génération de code
7.Compilation des langages à objets.
Prérequis
Néant.
Un examen et un TP
N1 = (3*E1 + TP)/4
N2 = (3*E2 + TP)/4
J.C. Martin. Introduction to Languages and the Theory of Computation, McGraw-Hill, 1991.
A. Aho, R. Sethi, J. Ullman. Compilers: Principles, Techniques and Tools. Addison Wesley Company, 1987.