- Semaine 45 : les machines de Turing
- Semaine 46 : les langages (introduction)
- Semaine 47 : langages et expressions rationnels, automates.
- Semaine 48 : expressions rationnelles, grep, automates, automates déterministes.
- Semaine 49 : automates émondés, standards, déterministes.
- Semaine 50 : opérations rationnelles sur les automates. Théorème de Kleene;Minimalisation ; automates séquentiels ; automates à pile.
- Semaine 51 : TP CAML : modélisation d'automates, standardisation, opérations rationnelles.
Le poly et ses sources TEX et le diaporame et ses sources TEX