L3 année 2024/2025 : Grammaires et Analyse Syntaxique

Les documents des TD et TP seront mis à disposition sur la page moodle de cours.

Langages formels : le cours Automates et Analyse Lexicale du L2, en particulier :
- expressions rationnelles (comprendre le sens d'une expression rationnelle, écrire des expressions rationnelles dans des cas simples)
- automates finis déterministes, non-déterministes et avec epsilon-transitions, élimination des epsilon-transitions, algorithme de déterminisation.
- limitation des automates et expressions rationnelles, en particulier le lemme d'itération (pumping lemma)
- Analyse lexicale à l'aide d'un générateur du type LEX
Programmation en OCaml : le cours Programmation Fonctionnelle du L3, en particulier :
- types de données algébriques (arbres)
- fonctions récursives définies par distinction de cas (pattern matching), fonctions d'ordre supérieure
- structuration en modules et compilation des programmes autonomes

Numéro Date Contenu

1 23/1 Introduction, rappels [1 transparent par page] [4 transparents par page]

2 30/1 OCamllex [1 transparent par page] [4 transparents par page] [code utilisé dans ce cours]

3 6/2 Grammaires algébriques [1 transparent par page] [4 transparents par page]

4 13/2 Introduction à l'analyse LL(1) [1 transparent par page] [4 transparents par page] [code utilisé dans ce cours]

5 20/2 Analyse LL(1) dans le cas général [1 transparent par page] [4 transparents par page] [code utilisé dans ce cours]

-- 27/2 pause L2

6 6/3 Introduction à l'analyse ascendante, et analyse LR(0) [1 transparent par page] [4 transparents par page]

7 13/3 Analyse LR(1) [1 transparent par page] [4 transparents par page]

8 20/3 Utilisation de Menhir (début)
Les transparents seront publiés sur moodle.

9 27/3 Terminer le chapitre 8 sur Menhir
Les transparents seront publiés sur moodle.

10 3/4 Automates à pile
Les transparents seront publiés sur moodle.

11 10/4 Lemme d'itération pour les langages algébriques, et propriétés de clôture de la classe des langages algébriques.
Les transparents seront publiés sur moodle.

- 17/4, 24/4 vacances de printemps

12 31/3 -

Numéro	Date	Contenu
1	23/1	Introduction, rappels [1 transparent par page] [4 transparents par page]
2	30/1	OCamllex [1 transparent par page] [4 transparents par page] [code utilisé dans ce cours]
3	6/2	Grammaires algébriques [1 transparent par page] [4 transparents par page]
4	13/2	Introduction à l'analyse LL(1) [1 transparent par page] [4 transparents par page] [code utilisé dans ce cours]
5	20/2	Analyse LL(1) dans le cas général [1 transparent par page] [4 transparents par page] [code utilisé dans ce cours]
--	27/2	pause L2
6	6/3	Introduction à l'analyse ascendante, et analyse LR(0) [1 transparent par page] [4 transparents par page]
7	13/3	Analyse LR(1) [1 transparent par page] [4 transparents par page]
8	20/3	Utilisation de Menhir (début) Les transparents seront publiés sur moodle.
9	27/3	Terminer le chapitre 8 sur Menhir Les transparents seront publiés sur moodle.
10	3/4	Automates à pile Les transparents seront publiés sur moodle.
11	10/4	Lemme d'itération pour les langages algébriques, et propriétés de clôture de la classe des langages algébriques. Les transparents seront publiés sur moodle.
-	17/4, 24/4	vacances de printemps
12	31/3	-