• Cours : Sam van Gool (première partie), Stefan Schwoon (deuxième partie)
• TD : Guillaume Scerri (première partie), Luc Lapointe (deuxième partie)
• Les jeudis de 14h à 18h15, 1Z68.
• Pendant la première partie, TD de 13h45 à 15h45, cours de 16h à 18h, sauf la séance du 22 janvier (double cours) et la séance du 12 mars (double TD).

Le cours se découpe en deux parties. Ceci est la page de la première partie.

Le programme de la première partie

1. 22 janvier : (double cours) mots, langages, automates; determinisation; propriétés de clôture; expressions rationnelles, théorème de Kleene. Slides.
2. 29 janvier : automate et équivalence de Nerode; automate minimal; algorithmes de minimisation. Slides.
3. 5 février : congruences, reconnaissance par monoïdes, monoïde syntaxique, langages sans étoile, monoïdes apériodiques. Slides.

(12 février : pas de cours)

4. 19 février
5. 26 février

(5 mars : pas de cours)

6. 12 mars : TD révisions.

Partiel: 19 mars, en salle 1Z61

Conditions de validation

• Première session

  • contrôle continu TD partie 1: 1
  • partiel: 2
  • contrôle continu TD partie 2: 1
  • projet: 1
  • examen: 2

• Deuxième session

  • contrôle continu TD partie 1: 1
  • contrôle continu TD partie 2: 1
  • projet: 1
  • examen: 4

Les notes pour le projet, CC 1 et CC 2 de la première session seront maintenues en deuxième session.