Courses/THLR

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	https://www.lrde.epita.fr/~akim/thlr/lecture-notes/theorie-des-langages-rationnels.pdf
Journaux