Difference between revisions of "Courses/THLR"
From LRDE
Line 1: | Line 1: | ||
{{Course |
{{Course |
||
+ | |visible=Yes |
||
|title=Théorie des Langages Rationnels |
|title=Théorie des Langages Rationnels |
||
|acronym=THLR |
|acronym=THLR |
||
− | |teacher=Jonathan |
+ | |teacher=Jonathan |
|period=S1 |
|period=S1 |
||
|audience=InfoSpé |
|audience=InfoSpé |
||
|duration=26h |
|duration=26h |
||
|optional course=non |
|optional course=non |
||
− | |objectives=Comprendre la théorie et la pratique des langages rationnels : |
+ | |objectives=Comprendre la théorie et la pratique des langages rationnels :* expressions rationnelles* automates* algorithmes sur les automates |
+ | |content=* 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 |
||
− | * expressions rationnelles |
||
− | * automates |
||
− | * algorithmes sur les automates |
||
− | |content=* 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 |
||
|slides=https://www.lrde.epita.fr/~akim/thlr/lecture-notes/theorie-des-langages-rationnels.pdf |
|slides=https://www.lrde.epita.fr/~akim/thlr/lecture-notes/theorie-des-langages-rationnels.pdf |
||
}} |
}} |
Latest revision as of 14:16, 3 February 2020
Titre |
Théorie des Langages Rationnels |
---|---|
Sigle |
THLR |
Enseignant | |
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 |
|
Documentation | |
Support | |
Journaux |