השפה L₁ מעל הא"ב {a,b,c} מורכבת מרצפים מן הצורה aⁿbᵏcⁿ כך ש-n הוא מספר אי-זוגי ושארית החלוקה של k בשלוש היא אחת. בין כל שני רצפים מפרידה האות b.

בנה אוטומט מחסנית עבור השפה L1 מעל הא"ב {a,b,c}, המורכב מרצפים מן הצורה aⁿbᵏcⁿ כך ש-n הוא מספר אי-זוגי ושארית החלוקה של k בשלוש היא אחת. בין כל שני רצפים מפרידה האות b. דוגמאות למילים ששייכות ל-L1: abbbbcbaaabccc, abc. דוגמאות למילים שאינן שייכות ל-L1: abbc (כי מספר הפעמים ש-b מופיעה הוא 2, ושארית 2 ב-3 היא 2); abcabc (כי b אינה מפרידה בין שני הרצפים); abccc (כי מספר הפעמים ש-a מופיעה אינו שווה למספר הפעמים ש-c מופיעה); aabcc (כי מספר הפעמים ש-a מופיעה ו-c מופיעה הוא זוגי).

נתונה השפה L2 מעל הא"ב {a,b,c}: L2 = {aᵏbᵐcˣ | 0≤k<5, 0≤m<5, 0≤x}. נגדיר: L3 = L2 ∩ L1 (L1 כהגדרתה בסעיף א). כתוב את כל המילים שבשפה L3.