lundi 29 janvier 2007

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.

Aucun commentaire: