Descriviamo l'automa a stati finiti. Gli input sono:

           X = {0, 1}

le uscite sono:

           Z = {0, 1}

e gli stati interni sono:

           S = {A, B, C, D, E}


dove:

           A = stato iniziale

           B = E' arrivato 0

           C = E' arrivato 1

           D = l'input precedente e' la sequenza 0 1
 
           E = l'input precedente e' la sequenza 1 0


Il diagramma di flusso sara' il seguente: