לפניך השפה L מעל האלפבית {a,b,c}: L = { aⁿ bṁ cⁿ⁺ṁ | n,m > 0 } (a-ים ואז b-ים ואז c-ים, ומספר ה-c-ים שווה בדיוק לסכום מספר ה-a-ים ומספר ה-b-ים; n ו-m שניהם גדולים מ-0).