נתונות השפות L1, L2 ו-L3 מעל הא"ב {a,b}:
L1 = { w | #b(w) > #a(w) } (מספר ה-b גדול ממספר ה-a)
L2 = { w | #b(w) >= 3 } (לפחות 3 פעמים b)
L3 = L1 intersection (complement of L2)
פרט את כל המילים המתקבלות בשפה L3.
בנה אוטומט סופי דטרמיניסטי מלא מעל הא"ב {a, b, c} המקבל רק מילים שיש בהן אחד מן הצירופים aa או bb. האוטומט אינו מקבל מילים שאף לא אחד מן הצירופים מופיע בהן, או מילים ששני הצירופים מופיעים בהן.
נתונות השפות L1, L2 ו-L3 מעל הא"ב {a,b}:
L1 = { w | #b(w) > #a(w) } (מספר ה-b גדול ממספר ה-a)
L2 = { w | #b(w) >= 3 } (לפחות 3 פעמים b)
L3 = L1 intersection (complement of L2)
פרט את כל המילים המתקבלות בשפה L3.
בנה אוטומט סופי דטרמיניסטי מלא מעל הא"ב {a, b, c} המקבל רק מילים שיש בהן אחד מן הצירופים aa או bb. האוטומט אינו מקבל מילים שאף לא אחד מן הצירופים מופיע בהן, או מילים ששני הצירופים מופיעים בהן.
