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. On s'intéressera aussi au concept d'unification.

Calendrier Pas de cours le 17 février Le rattrapage des séances se fera en allongeant la durée du cours à 3 heures (16h-19h) les : 27 janvier et 24 février

Modalités de contrôle Contrôle continu Un projet à rendre et présenter pour le dernier cours (40%) Une épreuve écrite durant la séance d'examens de Mai (60%) Contrôle terminal Une épreuve écrite durant la séance d'examens de Mai Session de rattrapage Une épreuve écrite durant la séance d'examens de Juin

• Examen Deuxième session
  • [Sujet]

• Examen
  • [Sujet]
  • [Notes]

• Soutenance des projets

• Cours:Unification
• TD: Unification [exercices]

• Cours: Équivalence Grammaires régulières-Automates
• TD: Grammaires [exercices]

• Cours: Grammaires
  • Nettoyage (suite et fin)
• Point sur le projet
• TD: Grammaires [exercices]

10/03/09

• Cours: Grammaires
  • Nettoyage

03/03/09

• Cours: Grammaires

24/02/09

Attention: séance de 3h.

• Cours: Théorème de Kleene [poly]
• TD: Théorème de Kleene [exercices]

17/02/09

• Pas de séance

10/02/09

• TD: Automates à états finis

03/02/09

• Cours: Automates à états finis [poly] (cours + exos)
• Pour la prochaine fois: Préparer l'exercice 11 de la feuille d'exercice en vue du projet

27/01/09

Attention: séance de 3h.

• Cours: Bases mathématiques [poly] (cours + exos)
  • théorie des langages formels
  • expressions régulières
• TD: Bases mathématiques

20/01/09

• Bases mathématiques
• Théorie des ensembles: [poly]