LI 032 : Langages formels et automates


Ce cours constitue à la fois la continuation du cours d'algorithmique de licence (LI012) et une préparation au cours d'analyse syntaxique automatique (« parsing » - LI035).

Rappels de mathématique, langages formels, automates, arbres et graphes, grammaires formelles.


Emploi du temps

Horaires : Jeudi, de 13:00 à 15:00
Salle : 4, bât. A
Rythme : Semestriel (S1)
Premier cours Jeudi 04 Octobre

ATTENTION : Séance du 10 Janvier annulée, pour cause de journée d'action Paris 7 Rive Gauche

Dispositions de rattrapage :

  • Polycopiés à télécharger et à lire pour le 17/01
    • Fin Ch5 au format PS ou PDF
    • Début Ch6 au format PS ou PDF
  • Séance du 17 alongée d'une heure : de 13:00 à 16:00
     

 

Plan (indicatif) du cours

  • Introduction & rappels (mathématiques, langages formels, automates)
  • Automates : algorithmes
  • Retour sur les arbres
  • Graphes
  • Grammaires formelles
    • Polycopié au format PS ou PDF
  • Introduction à l'analyse syntaxique (parsing)
    1. Stratégies d'analyse [page 2, PS ou PDF]
    2. Analyse lexicale [page 2, PS ou PDF]
    3. Analyse descendante
      1. Algorithme [pages 3&4, PS ou PDF]
      2. Récursivité [pages 6&7, PS ou PDF]
      3. Forme de Greibach Pas de poly avant l'examen
      4. Factorisation gauche
    4. Analyse ascendante

Modalités de contrôle

  • Contrôle continu
    Un DST (30%), un DNS facultatif (20%) et un partiel en fin de semestre (50%)
    OU
    Un DST (40%) et un partiel en fin de semestre (60%)
  • Contrôle terminal
    Un examen en fin de semestre (100%)
  • Devoir sur table n° 1 : jeudi 06 décembre, horaire et salle habituels.
  • Devoir non surveillé n° 2 : à rendre le 17 janvier 2002.
  • Examen final (pour tous les étudiants) : ve 25 janvier 2002
    de 9h00 à 12h00, salle RC2. Aucun document autorisé.

Bibliographie


http://www.linguist.jussieu.fr/~amsili/Ens/LI032.html Tue Feb 12, 2002 Ma maison-page