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 veya b • X′ • a veya b • Y′ • b veya b • Z′ • c biçiminde tanımlanır.
Y; • veya X′ • cX″ veya Y′ • bY″ veya Z′ • aZ″ biçiminde tanımlanır.
Z; a • b veya c • X′X″ veya b • Y′Y″ veya a • Z′Z″ biçiminde tanımlanır.
İfadelerdeki X′ ve X″ nesneleri X; Y′ ve Y″ nesneleri Y; Z′ ve Z″ nesneleri Z cinsinden 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 döndürürler.
f(X) = −1, eğer X = a; f(X) = −4 + f(X′), eğer X = b • X′ • a; f(X) = −2 + g(Y′), eğer X = b • Y′ • b; f(X) = −1 + h(Z′), eğer X = b • Z′ • c.
g(Y) = −2, eğer Y = •; g(Y) = f(X′), eğer Y = X′ • cX″; g(Y) = −1 + 2g(Y′), eğer Y = Y′ • bY″; g(Y) = −3 + 3h(Z″), eğer Y = Z′ • aZ″.
h(Z) = 3, eğer Z = a • b; h(Z) = 3 + f(X′), eğer Z = c • X′X″; h(Z) = 2 + 2g(Y″), eğer Z = b • Y′Y″; h(Z) = 1 + 2h(Z′), eğer Z = a • Z′Z″.
Hangisi bir Y nesnesidir?
h(b • a • caa • ca) işleminin sonucu kaçtır?
f(b • a • b • aa • b • b • •b) işleminin sonucu kaçtır?
Hangisi yanlıştır?