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...") |
|||
(2 intermediate revisions by 2 users not shown) | |||
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= |
+ | |teacher=Jonathan |
|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=* Introduction, Langages |
||
+ | |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 (eNFA, NFA, DFA) |
||
− | * Déterminisation |
||
− | * Rationalité, minimization |
||
− | |||
⚫ | |||
}} |
}} |
Latest revision as of 15: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 |