Les deux premiers cours auront lieu vendredi matin prochain.
Vous devez avoir lu AVANT de venir en cours, l'introduction du poly des sujets de TD sur l''histoire du concept d'automate.
En début de cours, j'attends vos questions. Le mieux, me les adresser via les messages de ce bloc-notes ainsi tout le monde sera au courant.
Je vais traiter :
- La prise en compte des états d'évolution dans une modélisation relationnelle n-aire "à la Codd"
- Les différents types d'automates
- simple
- déterministe/indéterministe
- avec sorties : de Mealy, de Moore
- avec gardes
- structurées : automates de Harel
- j'en donnerai une sémantique en utilisant B (Eh oui, il faut casser le découpage en modules, désastreux !)
Tout sera illustré par des exemples. Ce ne sera pas un cours de maths pour l'info.
Vous pouvez trouver les photos du tableau du cours de l'an dernier sur ce même bloc-notes.
Récupérer les dossiers de TD ce jour à mon bureau via les représentants de groupes.
P.S. les intervenants en TD seront informés comme vous via ce blog.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire