Difference between revisions of "Courses/THL"

Revision as of 10:08, 9 July 2014

Titre	Théorie des Langages
Sigle	THL
Enseignant	Akim Demaille
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 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	Parsing Techniques - A Practical Guide http://dickgrune.com/Books/PTAPG_1st_Edition/
Support	https://www.lrde.epita.fr/~akim/thlr/lecture-notes/theorie-des-langages-rationnels.pdf https://www.lrde.epita.fr/~akim/ccmp/lecture-notes/handouts-4/
Journaux

@@ Line 5: / Line 5: @@
 |period=S1, Ing1
 |audience=Tronc-commun
+|duration=21h
 |optional course=non
 |module=Informatique Fondamentale
@@ Line 29: / Line 30: @@
 ** Lex/Flex
 ** YACC/Bison
+|references=Parsing Techniques - A Practical Guide http://dickgrune.com/Books/PTAPG_1st_Edition/
+|slides=https://www.lrde.epita.fr/~akim/thlr/lecture-notes/theorie-des-langages-rationnels.pdf
-|references=
-http://www.lrde.epita.fr/~akim/thl/theorie-des-langages.pdf
+https://www.lrde.epita.fr/~akim/ccmp/lecture-notes/handouts-4/
-Parsing Techniques - A Practical Guide http://www.cs.vu.nl/~dick/PTAPG.html
-http://www.lrde.epita.fr/~akim/ccmp/
 }}