Un automa che riconosca tutte e sole le parole formabili sull'alfabeto Sigma = {a,b,c} tali che se "a" occorre allora il numero totale delle sue occorrenze e' pari.