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

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

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

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