Plan du cours - L3 informatique
« Théorie des langages et compilation »

Année 2019-2020

Les enseignements sont assurés par Henri Derycke (HD) et Gaétan Richard (GR) et Véronique Terrier (VT) et bénéficient des contributions de Jacques Madelaine et Florent.

SéanceCMTDTP
104/12 VTIntro langages formels. AFD, expression régulière (diapos) Automate fini déterministe (TD1) Mise en œuvre des AFD en Java
211/12 VTAFN, déterminisation, équivalence AF et expr rég (diapos) Automate fini non déterministe (TD2) Automates
318/12 VTGrammaire, arbre d'analyse, ambiguïté... (diapos) Grammaires (TD3) Prise en main de ANTLR. Analyse lexicale
25/12
01/01
408/01 VTAnalyse descendante, grammaires attribuées (diapos) Grammaires attribuées (TD4) Analyse syntaxique avec ANTLR
515/01 GRIntro compilation. Code MVàP. (diapos) Découverte de la MVàP (TD5) TP5 à TP9

Compiler une calculette en MVàP



622/01 GRCompilation : Variables, Types, Conditions. Vers les fonctions (diapos) Code MVàP pour op. logiques, boucles ... (TD6)
729/01 GR Compilation : Procédures, fonctions (diapos) Code MVàP pour des fns (TD7)
805/02 GRCompilation séparée. Optimisation(diapos) pas de TD8
912/02 VTAnalyse LL (diapos) Analyse LL (TD9)
1019/02 VTAnalyse LR (diapos) Analyse LR (TD10) Calgary
26/02
11??/03 Soutenances devoir

Ressources

Machine Virtuelle à Pile de Jacques
Les instructions de la MVaP
Le jar de la MVaP
Les sources de la MVaP
Examens
Anciens sujets