Feuilles de TD
- TD1 : automates finis (13/09)
- TD2 : plus d'automates finis (20/09)
- TD3 : lemme de l'étoile, expressions rationnelles (27/09)
- TD4 : minimisation d'automates (04/10)
- TD5 : arithmétique de Presburger, grammaires algébriques (10/10)
- TD6 : grammaires algébriques (18/10)
- TD7 : automates à piles (25/10)
- TD8 : machines de Turing (07/11)
- TD9 : décidabilité (15/11)
- TD10 : plus de décidabilité (22/11)
- TD11 : fonctions récursives (25/11)
- TD12 : lambda-calcul (13/12)
Devoirs
Liens