Pour ceux qui ont raté le premier cours

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.