אוטומטים ושפות פורמליות/אוטומט סופי דטרמיניסטי/תרגילים

זיהוי שני סימבולים עם מגבלות

נגדיר $D = {w | #_{a} (w) even ⋀ #_{b} (w) odd ⋀ a b \notin w}$ , כאשר $#_{x} (y)$ הוא מספר המופעים של האות $x$ במחרוזת $y$ .

הראה מכונה בעלת 4 מצבים המזהה שפה זו.