Courses/THLR

From LRDE

Revision as of 14:28, 19 April 2017 by Daniela Becker (talk | contribs)
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