Difference between revisions of "Courses/THL"
From LRDE
(2 intermediate revisions by the same user not shown) | |||
Line 3: | Line 3: | ||
|title=Théorie des Langages |
|title=Théorie des Langages |
||
|acronym=THL |
|acronym=THL |
||
− | |teacher=Jonathan |
+ | |teacher=Jonathan,Adrien |
|period=S1, Ing1 |
|period=S1, Ing1 |
||
|audience=Tronc-commun |
|audience=Tronc-commun |
||
Line 9: | Line 9: | ||
|optional course=non |
|optional course=non |
||
|module=Informatique Fondamentale |
|module=Informatique Fondamentale |
||
− | |objectives=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 : |
+ | |objectives=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 : |
+ | |||
− | |content=* 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 |
||
+ | * Compilateurs / interpréteurs, |
||
+ | * Outils à format de donnée structuré (e.g., XML, LaTeX). |
||
+ | |content=* 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 |
||
|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 |
* https://www.lrde.epita.fr/~akim/ccmp/lecture-notes/handouts-4/ |
* https://www.lrde.epita.fr/~akim/ccmp/lecture-notes/handouts-4/ |
||
|logbook=Courses/ThlLog2016 |
|logbook=Courses/ThlLog2016 |
Latest revision as of 14:44, 4 February 2020
Titre |
Théorie des Langages |
---|---|
Sigle |
THL |
Enseignant | |
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 :
|
Plan |
|
Documentation |
|
Support | |
Journaux |