Théorie de Langages et Compilateurs

Mírian Halfeld Ferrari Alves

  Bibliographie
  • A. Aho, R. Sethi and J. Ullman, Compilers Principles, Techniques and Tools, Addsion Wesley, 1986
  • J. Hopcroft, R. Motwani and J. Ullman, Introduction to Automata Theory, Languages and Computation, Addsion Wesley, 2003
  • R. Hunter, The Essence of Compilers, Prentice Hall, 1999
  Sommaire
Supports de cours disponibles
  • Théorie de langages (supports pour L1 et L3)
    NOTE: Depuis 2007-2008, les étudiants de la L1 font un peu de théorie de langages. Dans la suite vous trouverez des supports utilisés dans les deux années de formation.

  • Compilateurs
    • Introduction
      Fichier 1 slide/page (PDF): introduction
    • Analyse lexicale
      Fichier 1 slide/page (PDF): AnaLex
    • Analyse syntaxique
      Fichier 1 slide/page (PDF): AnaSynt
    • Traduction orientée par la syntaxe
      Fichier 1 slide/page (PDF):
      Nous n'avons pas traité ce point

  Calendrier L3
Séance Sujet de cours/TD
1 et 2 Introduction à la théorie des langages: concepts de base (alphabets, mots, ...); expressions régulières, automates d'états finis déterministes et non déterministes. Exercices (liste 1).
3 et 4 Théorie de langages: traduction NFA - DFA, automates avec les transitions vide, transformation FSA - expressions regulières Exercices (liste 1).
4 et 5 Théorie de langages: propriétes ER, propriétes de fermeture des langages réguliers. Exercices (liste 2).
5 et 6 Théorie de langages: Pumping lemma, CFG. Exercices (liste 2)
7 et 8 Théorie de langage : CGF, PDA. Exercices (liste 3)
8 et 9 Théorie de langage: TM et l'hiérarchie de Chomsky-Schützenberger. Exercices.
10 et 11 Examen 1. Introduction à la compilation. Analyse Lexicale.
12 et 13 TP LEX. Analyse Syntaxique
14 et 15 Analyse Syntaxique.
16 et 17 Analyse Syntaxique. TP Yacc
18 et 19 Analyse Syntaxique/ Grammaire d'attributs. TP Yacc