Un possibile automa e' quello descritto di seguito:

               X = {0,1}

               Z = {0,1}

               S = {A,B,C,D,E,F,G,H}

Il diagramma degli stati e' il seguente:





Le classi di equivalenza sono:

            {[A,B,C],[D,E],[F,G,H]}