Dört adet karşılıklı özyinelemeli yapının sözdizim kuralları aşağıdaki gibidir. Tanımlarda yer alan semboller, tanımlanan yapıların sözdizimlerinde yer almakta ve fazla ya da eksik kullanılamamaktadır. Bu tanımlara uygun olarak oluşturulan ifadeler X₁, X₂, X₃ ve X₄ nesneleri olarak adlandırılmaktadır.

X₁ = A₀ veya A₁ • X₂

X₂ = A₂ • X₃ veya A₃ • X₄

X₃ = A₄ • X₄ veya A₅ • X₁

X₄ = A₆ • X₁

Fonksiyonların parametrelerinin türleri parametreden sonra | ile belirtilmekte ve T pozitif tamsayıları ifade etmektedir. f₁, f₂ ve f₃ fonksiyonları X₁ nesnelerini; f_y1, f_y2 ve f_y3 fonksiyonları X₂ nesnelerini; f_w1 ve f_w3 fonksiyonları X₃ nesnelerini; f_z2 ve f_z3 fonksiyonları X₄ nesnelerini üretmektedir. g₁, g₂, g₃ ve g₄ fonksiyonları ise pozitif tamsayılar üretmektedir.

g₁(p_x1 | X₁) = 1, eğer p_x1 = A₀; 2 + g₂(p′_x2), eğer p_x1 = A₁ • p′_x2.

g₂(p_x2 | X₂) = 11 + g₃(p′_x3), eğer p_x2 = A₂ • p′_x3; 12 + g₄(p′_x4), eğer p_x2 = A₃ • p′_x4.

g₃(p_x3 | X₃) = 21 + g₄(p′_x4), eğer p_x3 = A₄ • p′_x4; 22 + g₁(p′_x1), eğer p_x3 = A₅ • p′_x1.

g₄(p_x4 | X₄) = 31 + g₁(p′_x1), eğer p_x4 = A₆ • p′_x1.

f₁(n | T) = A₀, eğer n = 0; A₁ • f_y1(n), eğer n > 0.

f₂(n | T) = A₀, eğer n = 0; A₁ • f_y2(n), eğer n > 0.

f₃(n | T) = A₀, eğer n = 0; A₁ • f_y3(n), eğer n > 0.

f_y1(n | T) = A₂ • f_w1(n).

f_w1(n | T) = A₅ • f₁(n − 1).

f_y2(n | T) = A₃ • f_z2(n).

f_z2(n | T) = A₆ • f₂(n − 1).

f_y3(n | T) = A₂ • f_w3(n).

f_w3(n | T) = A₄ • f_z3(n).

f_z3(n | T) = A₆ • f₃(n − 1).

g₁(f₁(3)) işleminin sonucu nedir?

g₁(f₂(3)) işleminin sonucu nedir?

g₁(f₃(3)) işleminin sonucu nedir?

g₂(f_y2(3)) işleminin sonucu nedir?

g₃(f_w3(3)) işleminin sonucu nedir?