En cours ce jour j'ai traité :
1) des axiomes des substitutions dont celui (de celle qui est interdite au niveau MACHINE, le séquencement)
2) de la différence entre une opération d'interrogation (observateur) et une commande (opération changeant l'état). J'ai montré aussi un cas de machine sans invariant et donc sans variable.
Attention ! les paramètres des opérations (paramètres formels) ne sont pas déclarés dans l'invariant (normal ! il ne font pas partie de l'état de la machine)
TD
Nous sommes maintenant dans la séquence n° 3.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire