Coder un diagramme d'états

L'état actif est une variable ; l'état suivant se calcule par une structure conditionnelle portant sur l'état courant, à partir de l'image des entrées lue en début de cycle :

etat = 1
while True:
    a, b, c = lire_entrees()                # image des entrees
    if etat == 1 and a:   suivant = 2
    elif etat == 2 and b: suivant = 3
    elif etat == 3 and c: suivant = 1
    else:                 suivant = etat
    etat = suivant
    ecrire_sorties(S2 = (etat == 2), S3 = (etat == 3))

Le code naïf if etat == 1 and a: etat = 2 suivi de if etat == 2 and b: etat = 3, deux if indépendants qui modifient etat au fil de l'eau, franchit les deux transitions dans le même cycle quand $a$ et $b$ sont vrais : $E_2$ n'est jamais actif à l'écriture des sorties, et $S_2$ n'est jamais commandée. La structure if…elif sur l'état courant garantit une transition au plus par cycle.

Comme when(a) attend que $a$ devienne vrai et que $a$ n'est vu qu'aux lectures, un $a$ qui apparaît juste après une lecture n'est vu qu'à la suivante ; la sortie est écrite à la fin de ce cycle. Le temps de réponse est compris entre $T_c$ et $2T_c$, et un $a$ qui dure moins de $T_c$ peut être manqué.