בנו אוטומט סופי דטרמיניסטי שמזהה את השפה.

{a, b, c} שפת כל המילים מעל
.c שבכל מקום אי-זוגי שלהן מופיע

תודה

המצבים הם [TEX]Q=\{q_0,\,q_{acc},\,q_{rej}\}[/TEX], כאשר רק [TEX]q_{acc}[/TEX] הוא מצב מקבל ([TEX]q_{rej}[/TEX] הוא מצב סופג בשביל קלט שאינו עונה על הציפיות)

טבלת המעברים תהיה:
[TEX]\begin{array}{|c||c|c|c|}\delta & \mathbf{a} & \mathbf{b} & \mathbf{c} \\\hline q_0 & q_{rej} & q_{rej} & q_{acc} \\ q_{acc} & q_0 & q_0 & q_0 \\ q_{rej} & q_{rej} & q_{rej} & q_{rej} \\\hline \end{array}[/TEX]

תוספים לפורום
קורס לטינית בלעדי לפרש, בפורום שפות ובלשנות.