L3 année 2022/2023 : Grammaires et Analyse Syntaxique

Modalités de contrôle de connaissances

Page moodle

Pré-requis

• 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

Planning préliminaire du cours

Numéro	Date	Contenu
1	19/1/2023	Merci de regarder ce petit rappel des expressions rationnelles avant votre premier TD :
2	26/1/2023	Introduction et Rappels
3	2/2/2023	Grammaires algébriques
4	9/2/2023	Introduction à l'analyse LL(1)
5	17/2/2023	Introduction à l'analyse ascendante, et analyse LR(0)
6	23/2/2023	Analyse LR(1).
-	2/3/2023	pause du L3
7	9/3/2023	Utiliser un générateur d'analyse grammaticale moderne
8	16/3/2023	Propriétés des grammaires et langages algébriques.
-	23/3/2023	cours annulé à cause du mouvement social
9	30/3/2023	Fin des propriétés des langages algébriques. Automates à pile
-	6/4/2023	cours annulé à cause du mouvement social
-	13/4/2023	cours annulé à cause du mouvement social
10	20/4/2023	Révision

Liens utils OCaml - ocamllex - menhir

• Le manual OCaml
• Documentation OCamlLex (regardez sections 15.1 et 15.2)
• Le module Lexing de la bibliothèque standard
• Site web de menhir

Équipe pédagogique