Courses/THLR

From LRDE

Revision as of 10:16, 9 July 2014 by Akim (talk | contribs)
Titre

Théorie des Langages Rationnels

Sigle

THLR

Enseignant

Akim Demaille

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