Modéliser un système par un automate
Choisir les états, les événements et les transitions d'un système décrit en français, ajouter des sorties avec une machine de Mealy, puis vérifier le modèle : état inaccessible, blocage, scénario interdit.
- 29 cartes
- 4 thèmes
- Gratuit
Le programme, thème par thème
Le poids de chaque thème suit celui que lui donne l'examen.
- Notions
- Questions
- Ranger et relier
- Les chiffres
Quelques cartes du deck
Machine à états finis : de quoi s'agit-il ?
Voir la réponse
Modèle d'un système qui, à chaque instant, se trouve dans un seul état parmi un nombre fini, et change d'état quand un événement se produit.
L'état résume tout ce que le système doit retenir du passé : ce qu'il ne retient pas ne peut pas influencer la suite.
Un digicode s'ouvre sur 1 2 1 3 et mémorise le nombre de touches justes d'affilée. Il en est à 3 touches reconnues (1 2 1). On touche 2. Dans quel état se trouve-t-il ?
- 2 touches reconnues (1 2)
- Retour à zéro, car l'enchaînement est faux
- Toujours 3 touches reconnues, la touche est ignorée
- 1 touche reconnue, la dernière touche seule
Voir la réponse
2 touches reconnues (1 2)
Après 1 2 1 2, les deux dernières touches 1 2 sont le début du code : l'état est « 1 2 lus ». Il ne faut ni revenir à zéro ni tout oublier. Le 2 ne commence pas le code, donc la dernière touche seule ne compte pour rien.
Un … mémorise ce qu'il faut retenir du passé ; une … est le passage d'un état à un autre, déclenché par un ….
Voir la réponse
Un état mémorise ce qu'il faut retenir du passé ; une transition est le passage d'un état à un autre, déclenché par un événement.
Pour un portillon : « verrouillé » est un état, « ticket validé » un événement, et le passage de l'un à « déverrouillé » une transition.
Transition : de quoi s'agit-il ?
Voir la réponse
Passage d'un état à un autre, déclenché par un événement ; on la dessine comme une flèche étiquetée par cet événement.
Une flèche qui revient sur son état de départ est une boucle : l'événement a lieu sans changer l'état, même s'il peut produire une sortie.