MAS 315 : Langages formels et compilation

Plan du cours

1. Les langages formels
   1. Monoïde sur un alphabet
   2. Notion de langage
2. Les grammaires formelles
   1. Définition
   2. Application des règles
   3. Hiérarchie de Chomsky
   4. Arbres de dérivation
3. Grammaires régulières et automates
   1. Exemple
   2. Langages reconnaissables
   3. Automates déterministes
   4. Langages rationnels
4. Compilation
   1. Généralités
      1. Phases de la compilation
      2. Notion de méta-compilateur
      3. Problèmes particuliers
   2. Analyse lexicale
      1. Rappel expressions rationnelles
      2. Utilisation des automates reconnaisseurs
      3. Automates avec sortie
   3. Table des symboles
      1. Utilisation de la TdS
      2. Structures de données
   4. Analyse syntaxique
      1. Généralités
      2. Grammaires LL(k)
      3. Grammaires LR(k)
   5. Traduction dirigée par la syntaxe
      1. Grammaires dans X* x Y*
      2. STDS pratiques
      3. Systèmes d'attributs

Tue Sep 09, 1997