30. דוגמה ( כל המצבים של האוטומט השני מקבלים !) a b c t 0 t 1 a a b,c b,c s 0 s 1 מצבים : (s 0 ,t 0 ), (s 0 ,t 1 ), (s 1 ,t 0 ), (s 1 ,t 1 ) מקבלים : (s 0 ,t 0 ), (s 0 ,t 1 ) התחלתי : (s 0 ,t 0 )
31. a b c t 0 t 1 a a b,c b,c s 0 s 1 s 0 ,t 0 s 0 ,t 1 s 1 ,t 1 s 1 ,t 0 b b a c a c
32. מורכב יותר כאשר A 2 S 2 a b c t 0 t 1 a a b,c b,c s 0 s 1 האם אמורה להיות לנו קבלה כאשר שני הרכיבים מקבלים ? לדוגמה {(s 0 ,t 1 )} ? לא , ניקח (ba) הוא אמור לקבל , אך לעולם לא עובר למצב המקבל . s 0 ,t 0 s 0 ,t 1 s 1 ,t 1 b a c a c
33. מורכב יותר כאשר A 2 S 2 a b c t 0 t 1 a a b,c b,c s 0 s 1 האם אמורה להיות לנו קבלה כאשר לפחות רכיב אחד מקבל ? לדוגמה , {(s 0 ,t 0 ),(s 0 ,t 1 ),(s 1 ,t 1 )} ? לא , ניקח b c הוא לא אמור לקבל , אך במקרה זה יבצע לולאה על (s 1 ,t 1 ) s 0 ,t 0 s 0 ,t 1 s 1 ,t 1 b c a c a
34. חיתוך – מקרה כללי q 0 q 2 q 3 q 1 a a, c c c, b b c c b a q 0 ,q3 q 1 ,q 3 q 1 , q 2
35. גירסה 0: לתפוס את q 0 גירסה 1: לתפוס את q 1 q 0 ,q 3 q 1 ,q 3 q 1 , q 2 q 0 ,q 3 q 1 ,q 3 q 1 ,q 2 עובר כאשר רואה קבלה של השמאלי ( q 0 ) עובר כאשר רואה קבלה של הימני ( q 2 ) גירסה 0 גירסה 1 c c c c b a b a
36. גירסה 0: לתפוס את q 0 גירסה 1: לתפוס את q 1 q 0 ,q 3 q 1 ,q 3 q 1 , q 2 q 0 ,q 3 q 1 ,q 3 q 1 ,q 2 עובר כאשר רואה קבלה של השמאלי ( q 0 ) עובר כאשר רואה קבלה של הימני ( q 2 ) גירסה 0 גירסה 1 c c c c b a b a
37. צור מצב מקבל באחת הגירסאות על פי מצב מקבל של הרכיב q 0 ,q 3 ,0 q 1 ,q 3 ,0 q 1 ,q 2 ,0 q 0 ,q 3 ,1 q 1 ,q 3 ,1 q 1 ,q 2 ,1 c c c c b a b a גירסה 0 גירסה 1
38. כיצד נבדוק ריקנות ( emptiness )? s 0 ,t 0 s 0 ,t 1 s 1 ,t 1 b a c a c