X, Y ve Z aşağıda tanımlandığı gibi karşılıklı özyineli nesnelerdir. Tanımlarda toplam dört farklı (atomik) sembol (a, b, c ve •) vardır. X, Y ya da Z ile tanımlanamayan tüm nesneler geçersizdir.

X; a • a, a • X’ • a, a • Y’ • b veya a • Z’ • c biçiminde tanımlanır.

Y; bb, X’ • a, Y’ • b veya Z’ • c biçiminde tanımlanır.

Z; c, a • X’, b • Y’ veya c • Z’ biçiminde tanımlanır.

İfadelerdeki X’ nesnesi X, Y’ nesnesi Y ve Z’ nesnesi Z cinsinden başka nesnelerdir.

Sırasıyla X, Y ve Z tipinden nesneleri girdi olarak alan f, g ve h fonksiyonları karşılıklı özyineli fonksiyonlar olup tamsayı değerler üretirler.

f(X) = 2, eğer X = a • a; f(X) = 2 + f(X’), eğer X = a • X’ • a; f(X) = 1 + g(Y’), eğer X = a • Y’ • b; f(X) = 1 + h(Z’), eğer X = a • Z’ • c.

g(Y) = 2, eğer Y = bb; g(Y) = 1 + f(X’), eğer Y = X’ • a; g(Y) = 1 + g(Y’), eğer Y = Y’ • b; g(Y) = h(Z’), eğer Y = Z’ • c.

h(Z) = 1, eğer Z = c; h(Z) = 1 + f(X’), eğer Z = a • X’; h(Z) = 1 + g(Y’), eğer Z = b • Y’; h(Z) = 1 + h(Z’), eğer Z = c • Z’.

Hangisi bir Z nesnesidir?

g(a • a • c • c • c • a • a) işleminin sonucu kaçtır?

Hangisi yanlıştır?

Hangisi doğrudur?