Le prochain cours

• Je vais aller plus loin avec les automates de Harel.
• Je vous en donnerai des explicitations avec B
• Vous devez avoir transformé l'automate de Harel que j'ai fait dans le cours n°2 en un automate "à plat", les informaticiens disent aussi "déplié" (folding/unfolding)... avant de venir en cours
• Et préparer un automate de Harel pour la douchiotte. Vous trouverez sa description dans le polycopié des TD.