𝒳 nesneleri üzerinde aşağıdaki fonksiyonlar tanımlanmaktadır. Fonksiyonların parametrelerinin türleri | sembolünden sonra belirtilmekte, PT pozitif tamsayıları ifade etmektedir:

f(p | 𝒳, n | PT) = n:p:n

g(n | PT) = n:g(n−1):n, n > 1 veya g(1) = 1:0:1

h(r | 𝒳) = (n+1):h(p):(n+1), eğer r = n:p:n biçimindeyse; h(0) = 0.

Bu tanımlara göre aşağıdaki işlemlerin sonuçlarını belirleyiniz: f(h(g(1)),2), h(h(h(0))), g(5) işleminin sonucundaki sayıların toplamı, f(g(2),3) ve h(g(2)).