- automates avec sortie (Moore et Mealy)
- on pensait détailler les automates de Harel (mais on a vraiment bien peu d'heures de cours, 10 heures en tout, alors nous passerons directement à :
- réseaux de Petri (le b a ba) et Grafcet (b a ba, le Grafcet étant un type de RDP)
- expressions régulière et arbres de Jackson. Et nous traiterons de l'American Film Star. D'ici là revoyez le théorème de Kleene (j'y fais référence dans le chapitre 2 du poly des TD)
A lundi et bonne fin de semaine.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire