Il diagramma degli stati è il seguente:

Adesso bisogna codificare gli stati, gli ingressi e le uscite in binario. Si avrà dunque:
 
   Ingressi
00 -> entra
01 -> esce
11 -> niente
10 -> ee

    Stati
00 -> vuoto
01 -> 1car
11 -> 2car

    Uscite
0 -> aperto
1 -> chiuso

Va quindi disegnata la tabella delle transizioni:

e le mappe di Karnaugh per l'uscita e per i singoli bit degli stati successivi:

Il circuito finale è il seguente: