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