הצגת המקור של הדף "אוטומטים ושפות פורמליות/אוטומט סופי דטרמיניסטי/תרגילים"

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

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

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

[[קטגוריה:אוטומטים ושפות פורמליות]]