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

Jonathan Fabrizio

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
Journaux