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