Rappels sur les schémas d’induction et les preuves par induction structurelle, langages réguliers, automates à états finis
déterministes et non-deterministes, grammaires et expressions régulières ; propriétés de fermeture des langages réguliers ;
Lemme de la pompe pour les langages réguliers ; langages algébriques, automates à piles déterministes et
non-déterministes, grammaires non-contextuelles ; propriétés de fermeture et lemme de la pompe pour les langages
algébriques.
Application à l'analyse lexicale, l'analyse syntaxique descendante et ascendante.
- Enseignant: Jean Diatta