Comme il faut toujours remettre son ouvrage sur le travail, voici la dernière version de l'automate à états finis gérant l'alimentation.

Fig. 1 : dernière version de l'automate (la même chose en grand)

J'espère cette fois-ci n'avoir rien oublié. Ce nouvel automate comporte onze états, donc nécessite quatre bascules au lieu de trois. Il faut donc réétudier les sorties du circuit à l'aide de nouveaux tableaux de Karnaugh.

Tab. 1 : allumage de la basse tension

B=Q₁'Q₂+Q₀Q₂'Q₃'+Q₁Q₂'

Tab. 2 : allumage de la haute tension

H=Q₂Q₁'Q₀'+Q₂'Q₁Q₀

Tab. 3 : blocage du compteur à zéro

R=Q₃'Q₁'Q₀'+Q₃Q₂'Q₀+Q₂Q₁

Tab. 4 : indicateur d'erreur

E=Q₂Q₁

Le schéma des quatre sorties devient alors :

Fig. 1 : câblage des sorties (la même chose en grand)

Reste à écrire la table des transitions et à simplifier les quines.

Tab. 2 : transitions de l'automate