quindi le equivalenze devono essere :
A~B, B~C, A~C
D~E, E~F, D~F
G~H

La tabella delle transizioni è facilemente ricavabile mettendo negli stati che devono essere equivalenti :
1) le stesse uscite
2) gli stati successivi equivalenti

Da cui la sottostante tabella delle transizioni

Possiamo verificare che la tabella delle transizioni rispetta la specifica procedendo con la sua minimizzazione.
Perciò la tabella a scala è :

è quindi verificato che le equivalenze sono :
{ [A, B, C] [D, E, F] [G, H] }