Ensimag Rubrique Formation 2022

Théorie des langages et compilation

  • 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.

Contrôle des connaissances

Un examen et un TP



N1 = (3*E1 + TP)/4
N2 = (3*E2 + TP)/4

Informations complémentaires

Cursus ingénieur->ASI/SEMESTRE A CHOIX->Semestre 7

Bibliographie

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.