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

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

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

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