Difference between revisions of "Courses/THLR"
From LRDE
(Created page with "{{Course |title=Théorie des Langages Rationnels |acronym=THLR |teacher=Akim |period=S1 |audience=InfoSpé |optional course=non |content=* Introduction, Langages
* Expression...") |
|||
Line 5: | Line 5: | ||
|period=S1 |
|period=S1 |
||
|audience=InfoSpé |
|audience=InfoSpé |
||
+ | |duration=26h |
||
|optional course=non |
|optional course=non |
||
+ | |objectives=Comprendre la théorie et la pratique des langages rationnels : |
||
⚫ | |||
− | * |
+ | * expressions rationnelles |
+ | * automates |
||
⚫ | |||
+ | * algorithmes sur les automates |
||
⚫ | |||
+ | |content=* Cours magistraux (5 x 2h): |
||
⚫ | |||
⚫ | |||
+ | ** Expressions rationnelles |
||
⚫ | |||
⚫ | |||
⚫ | |||
+ | * 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 |
||
⚫ | |||
}} |
}} |
Revision as of 10:16, 9 July 2014
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 :
|
Plan |
|
Documentation | |
Support | |
Journaux |