• Département : Informatique
• Coordonnateur : Luc LITZLER
• Téléphone : 01 60 76 45 34
• Mail : Luc.Litzler@int-evry.fr
• Pièce : D 306

Objectifs :

• Introduire les fondements de la théorie des langages
• Comprendre les principes et les techniques mis en oeuvre dans les compilateurs
• Donner un aperçu sur les notions essentielles dans le calcul automatique

Programme :

• Compilation
  • Etude d'un compilateur simple en une passe
  • Analyse lexicale
  • Traduction dirigée par la syntaxe
  • Analyse syntaxique
  • Machine abstraite à pile
  • Génération de code
  • Implantation d'un compilateur simple en C
  • Langages algébriques - analyse syntaxique
  • Grammaires non contextuelles
  • Analyse descendante - analyse ascendante
  • Analyse LR
  • Implantation - Lex & Yacc

• Automates et complexité
  • Automates, langages, systèmes formels, modèles de calcul
  • Complexité des algorithmes, classes de problèmes, problèmes difficiles, algorithmes aléatoires, heuristiques et approches

Organisation pédagogique :

• Total cours + contrôle : 27 h
• 12 vacations de cours de 1h30
• 4 vacations de travaux pratiques de 1h30
• 1 contrôle écrit de connaissance de 3 h (1h30 compilation, 1h30 automates et complexité)

Documentation ou bibliographie :

• "Photocopies des transparents", L. LITZLER