נתונה פעולה הכתובה בשפת Java. הפעולה מקבלת מספר שלם חיובי x.

java
1public static int foo (int x)
2{
3    return (x / 2) + (x % 2);
4}

לפניך השפה L מעל הא"ב {a,b}:

L = { a^n b^k | n > 0, k = foo(n) }

✎ לדוגמה

כאשר הערך של n הוא 3, הערך של k הוא 2; k = 3 / 2 + 3 % 2. ולכן המילה השייכת לשפה היא aaabb.