Courses/THLR

From LRDE

Revision as of 14:16, 3 February 2020 by Cd (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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