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, b • Y’ • b veya c • Z’ • c biçiminde tanımlanır.

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

Z; c • 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 yalnız a, b ve c harflerini içeren kelimeler oluştururlar.

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

g(Y) = bb, eğer Y = b • b; g(Y) = af(X’)a, eğer Y = X’ • a; g(Y) = bg(Y’)b, eğer Y = Y’ • b; g(Y) = h(Z’)c, eğer Y = Z’ • c.

h(Z) = cc, eğer Z = c • c; h(Z) = af(X’), eğer Z = a • X’; h(Z) = bg(Y’), eğer Z = b • Y’; h(Z) = cch(Z’), eğer Z = c • Z’.

Hangisi doğrudur?

Hangisi hem X hem de Y nesnesidir?

Hangisi yanlıştır?

h(c • a • b • b • b • b • b) işleminin sonucu hangisidir?