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

✎ דוגמאות למילים ששייכות לשפה L₁

• ✓abbbbcbaaabccc
• ✓abc

✎ דוגמאות למילים שאינן שייכות לשפה L₁

• ✗abbcכי מספר הפעמים שהאות b מופיעה הוא 2, ושארית החלוקה של 2 ב־3 היא 2.
• ✗abcabcכי האות b אינה מפרידה בין שני הרצפים.
• ✗abcccכי מספר הפעמים שהאות a מופיעה אינו שווה למספר הפעמים שהאות c מופיעה.
• ✗aabccכי מספר הפעמים שהאות a והאות c מופיעות הוא זוגי.