ou qui y faisaient autre chose qu'écouter et prendre des notes
et qui consultent ce bloc-notes, voici ce que j'ai traité :
- la prise en compte d'une "variable d'état" dans un schéma relationnel n-aire, exemple des commandes (livrée, facturée, réglée, en contentieux ...) avec un automate
- écriture de la fonction de transition d'états (fonction si automate déterministe !)
- diagramme de transition d'état simple, état initial, final
- étiqueté par événements
transitions : ETAT * EVENEMENT +->
ETAT- avec gardes (on verra qu'en B événementiel, un événement est modélisé comme une opération gardée. Revoir l'axiome de la garde vs celui de la
précondition. En
DS je demandais celui du choix
indéterministe. [
CHOICE S OR T] I <=> [S] I & [T] I
- avec sorties,
Mealy et
Moore- structuré ,
state-charts de
Harel (états disjoints, états parallèles,
macro-états)
- pliage, dépliage (exemple avec automates, exemple avec graphe de flot de contrôle d'un programme. Rappel de b a
ba de programmation :
nichage et
séquencement.
- Expressions régulières, notation des arbres de Jackson, exemple du processus Livre, modélisation en parallèle en termes de processus et en termes
ensemblistes (B ou relationnel
n-aire) ,
vérif de cohérence entre les deux modélisations
- Le théorème de
Kleene. Avant de venir en cours vous
deviez lire l'histoire du concept d'automate dans le
poly des sujets de
TD- Rappel : voir
algo de
Yamada de passage d'un automate à une expression régulière. Le cours de maths est à utiliser, réutiliser.
