Difference between revisions of "Courses/THL"

From LRDE

 
(One intermediate revision by the same user not shown)
Line 14: Line 14:
 
* Outils à format de donnée structuré (e.g., XML, LaTeX).
 
* Outils à format de donnée structuré (e.g., XML, LaTeX).
 
|content=* Bases
 
|content=* Bases
* Alphabet
+
** Alphabet
* Mot
+
** Mot
 
* Langage
 
* Langage
* Langage Rationnels
+
** Langage Rationnels
* Langages Rationnels
+
** Langages Rationnels
 
* Expressions Rationnelles
 
* Expressions Rationnelles
 
* Automates Finis
 
* Automates Finis
 
* Grammaires
 
* Grammaires
* Hiérarchie de Chomsky
+
** Hiérarchie de Chomsky
* Grammaires Hors Contexte
+
** Grammaires Hors Contexte
* Automates à Pile
+
** Automates à Pile
* Analyse Syntaxique** LL(1), LL(k)** LR(0), SLR(1), LR(1), LALR(1), LR(k)** GLR, BackTracking
+
* Analyse Syntaxique
  +
** LL(1), LL(k)
  +
** LR(0), SLR(1), LR(1), LALR(1), LR(k)
  +
** GLR, BackTracking
 
* Générateurs d'analyseurs
 
* Générateurs d'analyseurs
* Lex/Flex
+
** Lex/Flex
* YACC/Bison
+
** YACC/Bison
 
|references=Parsing Techniques - A Practical Guide http://dickgrune.com/Books/PTAPG_1st_Edition/
 
|references=Parsing Techniques - A Practical Guide http://dickgrune.com/Books/PTAPG_1st_Edition/
 
|slides=* https://www.lrde.epita.fr/~akim/thl/lecture-notes/theorie-des-langages-1.pdf
 
|slides=* https://www.lrde.epita.fr/~akim/thl/lecture-notes/theorie-des-langages-1.pdf

Latest revision as of 14:44, 4 February 2020

Titre

Théorie des Langages

Sigle

THL

Enseignant

Jonathan Fabrizio, Adrien Pommellet

Période

S1, Ing1

Public

Tronc-commun

Contrôle
Durée

21h

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 développeur :

  • 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