Un distributeur accepte des pièces de 5 et de 10 centimes, et délivre dès que 15 centimes ont été insérés. Il ne rend pas la monnaie : au-delà de 15, il ne distingue plus rien.
L'automate
Chaque état retient le montant déjà inséré, et rien d'autre. L'état m15 signifie « quinze
centimes ou plus ».
| Depuis | p5 | p10 |
|---|---|---|
m0 | m5 | m10 |
m5 | m10 | m15 |
m10 | m15 | m15 |
Objectif
Suivre une séquence, puis compter ce que le modèle recouvre.
Le point à saisir
L'état m15 regroupe des situations différentes : quinze centimes, vingt centimes, vingt-cinq. Le
modèle les confond délibérément, parce que la machine n'a aucune décision différente à prendre
selon le cas. Un état ne retient du passé que ce qui change l'avenir, et c'est ce choix qui empêche
le nombre d'états d'exploser.