מצאתי טעות
סכום האיזוגיים מינוס סכום הזוגיים צריך להתחלק בשלוש כלומר גם אם ההפרש 3 או 6 וכן הלאה המספר מתחלק את האוטומט אתן ע"י קבוצת מעברים: (q0,0,q0) (q0,1,q1) (q1,1,q0) (q1,0,q2) (q2,0,q1) (q2,1,q2) כאשר Q0 מצב מקבל מקווה שזה נכון ולא מאוחר מדי, מרקר....