Difference between revisions of "Courses/THL"

From LRDE

(Created page with "{{Course |title=Théorie des Langages |acronym=THL |teacher=Akim |period=S1, Ing1 |audience=Tronc-commun |optional course=non |module=Informatique Fondamentale |objectives=Dé...")
 
Line 30: Line 30:
 
** YACC/Bison
 
** YACC/Bison
   
|references=http://www.lrde.epita.fr/~akim/ccmp/
+
|references=
 
http://www.lrde.epita.fr/~akim/thl/theorie-des-langages.pdf
 
http://www.lrde.epita.fr/~akim/thl/theorie-des-langages.pdf
 
Parsing Techniques - A Practical Guide http://www.cs.vu.nl/~dick/PTAPG.html
 
Parsing Techniques - A Practical Guide http://www.cs.vu.nl/~dick/PTAPG.html
  +
http://www.lrde.epita.fr/~akim/ccmp/
 
}}
 
}}

Revision as of 12:22, 28 June 2014

Titre

Théorie des Langages

Sigle

THL

Enseignant

Akim Demaille

Période

S1, Ing1

Public

Tronc-commun

Contrôle
Durée
Optionnel

non

Module

Informatique Fondamentale

Prérequis
Objectifs

Définir de façon rigoureuse ce que sont les langages, trouver des moyens de les spécifier, et des techniques pour les reconnaître. Ces techniques sont utilisées dans les outils les plus courants du programmeur :

  • Compilateurs / interpréteurs,
  • Outils à format de donnée structuré (e.g., XML, LaTeX).
Plan
  • Bases
    • Alphabet
    • Mot
  • Langage
    • Langage Rationnels
    • Langages Rationnels
  • Expressions Rationnelles
  • Automates Finis
  • Grammaires
    • Hiérarchie de Chomsky
    • Grammaires Hors Contexte
    • Automates à Pile
  • Analyse Syntaxique
    • LL(1), LL(k)
    • LR(0), SLR(1), LR(1), LALR(1), LR(k)
    • GLR, BackTracking
  • Générateurs d'analyseurs
    • Lex/Flex
    • YACC/Bison
Documentation
Support
Journaux