Difference between revisions of "Courses/THLR"

Revision as of 10:16, 9 July 2014

Titre	Théorie des Langages Rationnels
Sigle	THLR
Enseignant	Akim Demaille
Période	S1
Public	InfoSpé
Contrôle
Durée	26h
Optionnel	non
Module
Prérequis
Objectifs	Comprendre la théorie et la pratique des langages rationnels : expressions rationnelles automates algorithmes sur les automates
Plan	Cours magistraux (5 x 2h): Introduction, Langages Expressions rationnelles Automates (eNFA, NFA, DFA) Déterminisation Rationalité, minimization TDs (5 x 2h) Preuves, calculabilité et distances Expressions rationnelles Automates finis Lemme de pompage et déterminisation Stabilité des langages rationnels TPs (3 * 2h) Expressions rationnelles Vaucanson 1/2 Vaucanson 2/2
Documentation
Support	https://www.lrde.epita.fr/~akim/thlr/lecture-notes/theorie-des-langages-rationnels.pdf
Journaux

@@ Line 5: / Line 5: @@
 |period=S1
 |audience=InfoSpé
+|duration=26h
 |optional course=non
+|objectives=Comprendre la théorie et la pratique des langages rationnels :
-|content=* Introduction, Langages
-* Expressions rationnelles
+* expressions rationnelles
+* automates
-* Automates (eNFA, NFA, DFA)
+* algorithmes sur les automates
-* Déterminisation
+|content=* Cours magistraux (5 x 2h):
-* Rationalité, minimization
+** Introduction, Langages
+** Expressions rationnelles
+** Automates (eNFA, NFA, DFA)
+** Déterminisation
+** Rationalité, minimization
+* TDs (5 x 2h)
-|references=http://www.lrde.epita.fr/~akim/thlr/theorie-des-langages-rationnels.pdf
+** Preuves, calculabilité et distances
+** Expressions rationnelles
+** Automates finis
+** Lemme de pompage et déterminisation
+** Stabilité des langages rationnels
+* TPs (3 * 2h)
+** Expressions rationnelles
+** Vaucanson 1/2
+** Vaucanson 2/2
+|slides=https://www.lrde.epita.fr/~akim/thlr/lecture-notes/theorie-des-langages-rationnels.pdf
 }}