M=<{a,b,c},bl,{q0,q1,qF},q0,{qF},delta}

delta	a            b         c        blank(bl)

q0    q1|a|d      q0|b|d     q0|c|d      qF|bl|i

q1    q0|a|d	     -         -            -


Dove q0 oltre a essere lo stato iniziale rappresenta lo stato:
 "fin'ora ho incontrato solo nessuna o un numero pari di a consecutive e pertanto la stringa potrebbe appartiene al linguaggio".
q1 rappresenta lo stato: 
"Il numero di a contate e' dispari e pertanto la stringa potrebbe non appartenere al linguaggio".
qF e' finale