LI063(6) : Bases formelles du TAL

2e semestre
Mardi, 14h00-16h00, ou 13h30-16h30, salle 105 îlot Jussieu
Premier cours 17 janvier 2006, dernier cours le 28 mars
Pas de séance le 7 février, le 28 février, le 4 avril

Premiers éléments mathématiques et informatiques nécessaires pour les approches formelles du TAL, avec une insistance particulière sur le théorie des langages formels. Automates, Grammaires, Expressions Régulières.

Suite aux mouvements de grève

Les examens porteront sur les chapitres 1 à 4. Afin de permettre aux étudiants de préparer ces examens, j'ai mis en ligne un polycopié et des exercices pour les séances supprimées (en blanc). Le chapitre 5, sur les réseaux sémantiques, est supprimé.

Les étudiants sont invités à consulter le polycopié, et à appliquer eux-mêmes les algorithmes décrits, voire à les implémenter, sur le plus d'exemples possibles. En effet, le chapitre 4 est essentiellement la description de 4 algorithmes.

En ce qui concerne le calendrier des examens, et les dates d'éventuelles séances supplémentaires, j'attend les instructions de mon département, sachant qu'aucune séance ne pourra intervenir la semaine du 24 avril.

A la demande de certains d'entre vous, j'accepte que le projet soit repoussé d'une semaine. Il doit donc être rendu le 5 mai au soir.



 

Organisation du cours (à titre indicatif)

17/01/06 CM (14:00-16:00) Ch1. Bases mathématiques de la théorie des langages formels
  • Rappels de théorie des ensembles (poly)
  • Le monoïde (libre) (X, . )
  • Langages formels et expressions rationnelles
24/01/06 TD (13:30-16:30) Représentation du monoïde (poly) ; Exercices
31/01/06 CM (14:00-16:00) Ch2. Automates à états finis
  • Automates déterministes
  • Automates non déterministes
  • Propriétés de fermeture
07/02/06 / pas de séance
14/02/06 TD (13:30-16:30) Automates : Exercices
Retour sur les propriétés de fermeture
21/02/06 CM (14:00-16:00) Ch3. Grammaires formelles
  • Définition
  • Hiérarchie de Chomsky
  • Dérivation, arbre syntaxique
  • Propriétés de grammaires
28/02/06 / pas de séance
07/03/06 TD (13:30-16:30) Séance annulée (grève contre le CPE)
Grammaires : Exercices, Corrigés
14/03/06 CM (14:00-16:00) Séance annulée (grève contre le CPE)
Ch4. Théorème de Kleene (poly)
21/03/06 TD (13:30-16:30) Séance annulée (grève contre le CPE)
Exercices th. de Kleene Exercices
28/03/06 CM (14:00-16:00) Séance annulée (grève contre le CPE)
Ch5. Réseaux sémantiques
04/04/06 / pas de séance
 

Contrôles

Modalités
  • Contrôle continu : un mini-projet (40%) et une épreuve écrite (session d'examen de mai, 60%).
  • Contrôle final : une épreuve écrite pendant la session d'examen de mai (100%). 
  • Session de rattrapage (juin) : pour tous : une épreuve écrite pendant la session d'examen (100%). 
  • Aucune note n'est conservée entre les deux sessions d'examen
Calendrier
  • Mini-projet : implémentation des algorithmes de manipulation d'automates, et application à la description de données linguistique et à leur repérage dans des textes. Résultat à rendre pour le 28 avril 2006 (rapport de quelques pages, listing abondamment commenté, exemple de résultat obtenu). Date limite repoussée au 05 mai
  • Epreuve écrite : (à confirmer) Mardi 2 mai 2006, 14h00-16h00.
    Lundi 22 mai 2006, 9h30-11h30, salle 105 îlot Jussieu
  • 2e session (à confirmer) : lundi 19 juin, 9h-11h.

Annales : voir ma page d'archives

 
 

    Bibliographie

    • à suivre
    • La bibliographie que je donne pour le cours de Langages Formels est un bon point d'entrée.
Ma maison-page May 29 2006