שאלה זו עוסקת בתכונות של שפות רגולריות: בסעיף א - טענות נכון/לא נכון על פעולות סגורות בין שפות; בסעיף ב - בניית אוטומט לשפה מעל {a,b,c} המוגדרת בתנאי הרכב.

אם L1, L2 הן שפות לא רגולריות, בהכרח L1∩L2 היא לא שפה רגולרית.

(L1*L2)^n תמיד שווה ל- L1^n * L2^n.

נתונה השפה L מעל {a,b,c}: L={w | w מעל {a,b,c}, רצפים ab, bc אינם מופיעים ב-w, #a(w)+#c(w) הוא מספר זוגי}. לפניכם חמש מילים: cbbba, baa, ε, aab, aaccc. בנוגע לכל אחת מהן ציינו אם המילה שייכת לשפה L או לא. נמקו את תשובתכם.

בנו אוטומט דטרמיניסטי, שאינו בהכרח מינימלי, המקבל את השפה L שהוגדרה לעיל.