Les enseignements sont assurés par Gaétan Richard (GR), Véronique Terrier (VT) et bénéficient des contributions de Jacques Madelaine et Florent.
| Séance | CM | TD | TP | ||
|---|---|---|---|---|---|
| 1 | VT | 07/01--13/01 | Intro langages formels. AFD, expression régulière (diapos) | Automate fini déterministe (TD1) | Mise en œuvre des AFD en Java |
| 2 | VT | 14/01--20/01 | AFN, déterminisation, équivalence AF et expr rég (diapos) | Automate fini non déterministe (TD2) | Automates |
| 3 | VT | 21/01--27/01 | Grammaire, arbre d'analyse, ambiguïté... (diapos) | Grammaires (TD3) | Prise en main de ANTLR. Analyse lexicale |
| 4 | VT | 28/01--03/02 | Analyse descendante, grammaires attribuées (diapos) | Grammaires attribuées (TD4) | Analyse syntaxique avec ANTLR |
| 5 | GR | 04/02--10/02 | Intro compilation. Code MVàP. (ressources) | Découverte de la MVàP (TD5) | TP5 à TP9 Compiler une calculette en MVàP |
| 6 | GR | 11/02--17/02 | Compilation : Variables, Types, Conditions. Vers les fonctions (ressources) | Code MVàP pour op. logiques, boucles ... (TD6) | |
| 7 | GR | 18/02--03/03 | Compilation : Procédures, fonctions (ressources) | Code MVàP pour des fns (TD7) | |
| 8 | GR | 04/03--10/03 | Compilation séparée. Optimisation (ressources) | ||
| 9 | VT | 11/03--17/03 | Analyse LL (diapos) | Analyse LL (TD9) | |
| 10 | VT | 18/03--23/03 | Analyse LR (diapos) | Analyse LR (TD10) | Calgary |
| 11 | 25/03--31/03 | Soutenances devoir | |||
À venir