L3 année 2023/2024 : 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 25/1 Introduction, rappels [1 transparent par page] [4 transparents par page]

2 1/2 OCamllex, commencer les grammaires [1 transparent par page] [4 transparents par page] [Exemples de code]

3 8/2 Grammaires algébriques (suite) [1 transparent par page] [4 transparents par page]

4 15/2 Introduction à l'analyse LL(1) [1 transparent par page] [4 transparents par page] [Exemples de code]

5 22/2 Analyse LL(1) dans le cas général [1 transparent par page] [4 transparents par page] [Exemples de code]

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

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

8 14/3 Utilisation de Menhir (début) [1 transparent par page] [4 transparents par page] [Exemples de code]

9 21/3 Terminer le chapitre 8 sur Menhir
Lemme d'itération pour les langages algébriques, et propriétés de clôture de la classe des lanages algébriques.
[1 transparent par page] [4 transparents par page]

10 28/3 Automates à pile [1 transparent par page] [4 transparents par page]

11 4/4 cours annulé

- 11/4, 18/4 vacances de printemps

12 25/4 Études de cas

Numéro	Date	Contenu
1	25/1	Introduction, rappels [1 transparent par page] [4 transparents par page]
2	1/2	OCamllex, commencer les grammaires [1 transparent par page] [4 transparents par page] [Exemples de code]
3	8/2	Grammaires algébriques (suite) [1 transparent par page] [4 transparents par page]
4	15/2	Introduction à l'analyse LL(1) [1 transparent par page] [4 transparents par page] [Exemples de code]
5	22/2	Analyse LL(1) dans le cas général [1 transparent par page] [4 transparents par page] [Exemples de code]
6	29/2	Introduction à l'analyse ascendante, et analyse LR(0) [1 transparent par page] [4 transparents par page]
7	7/3	Analyse LR(1) [1 transparent par page] [4 transparents par page]
8	14/3	Utilisation de Menhir (début) [1 transparent par page] [4 transparents par page] [Exemples de code]
9	21/3	Terminer le chapitre 8 sur Menhir Lemme d'itération pour les langages algébriques, et propriétés de clôture de la classe des lanages algébriques. [1 transparent par page] [4 transparents par page]
10	28/3	Automates à pile [1 transparent par page] [4 transparents par page]
11	4/4	cours annulé
-	11/4, 18/4	vacances de printemps
12	25/4	Études de cas