שני סעיפים בלתי-תלויים, שניהם על אותו אלפבית {a,b,c}. סעיף א דורש בניית מכונת מחסנית (לא אוטומט סופי — הדרישה של a^n...c^n עם n משותף היא הדוגמה הקלאסית לשפה לא-רגולרית שדורשת מחסנית לספירה). סעיף ב הוא היסק סופי-מצבים פשוט יותר — חיתוך שתי הגדרות שפה ומצוי כל המילים המשותפות.

בנה אוטומט מחסנית עבור השפה 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.