[TP 8] Détails corrigé exercice 2

[parastuffs]

« Il y a plusieurs façons de remplir cette table.

L'une d'elle est de considérer que l'état 1 est l'état de départ de ton système :
les sorties sont nulles et l'état est stable quand les entrées a et b sont aussi nulles.

À présent, il faut identifier une suite de changements de variables (a et b) provoquant un changement d'une des variables de sortie.
Commençons par Z1.
L'énoncé nous dit « Le code consiste à enfoncer et relâcher a deux fois de suite, puis b, puis encore a. »
La séquence est donc ab = 00 -> 10 (on enfonce a) -> 00 (on relâche a) -> 10 -> 00 -> 01 (on enfonce b) -> 00 -> 10 (on enfonce a une dernière fois).
À chaque nouvel élément de cette séquence correspond un nouvel état qu'il faut créer.
On commence de l'état 1, mais si ab = 10, on doit aller vers l'état 2.
Une fois dans l'état 2 avec ab = 10, si ab = 00, on doit aller dans l'état 3. Attention, on ne revient pas dans l'état 1, sinon on va tourner en rond !
On continue ainsi jusqu'au dernier élément de la séquence de changement de ab, soit l'état 8 dans le corrigé. À ce moment-là, Z1 = 1 enfin.

Il reste maintenant à remplir les trous dans la table de Huffman.
L'énoncé nous dit « Toute fausse manœuvre conduit à mettre la sortie Z2 (alarme) à 1. »
Toutes les cases vides correspondent ici à une fausse manoeuvre, à un mauvais code et doivent envoyer vers un nouvel état qui va déclencher l'alarme. Il s'agit de l'état 9 dans le corrigé. »