נתונות השפות L₁, L₂ ו-L₃ מעל הא"ב {a, b}:

L₁ = { כל המילים שבהן מספר הפעמים שהאות b מופיעה גדול ממספר הפעמים שהאות a מופיעה }

L₂ = { כל המילים שבהן האות b מופיעה 3 פעמים לפחות }

L₃ = L₁ ∩ המשלים של L₂

פרט את כל המילים המתקבלות בשפה L₃.

בנה אוטומט סופי דטרמיניסטי מלא מעל הא"ב {a, b, c} המקבל רק מילים שיש בהן אחד מן הצירופים aa או bb. האוטומט אינו מקבל מילים שאף לא אחד מן הצירופים מופיע בהן, או מילים ששני הצירופים מופיעים בהן.

✎ דוגמאות למילים שהאוטומט מקבל

caac, bbb, aacaa, bba.

✎ דוגמאות למילים שהאוטומט אינו מקבל

cac, bab, aabb, bbcaa.