Ülesanne 11.

Atrubuudid
Sünteesitud atribuudid Päritud atribuudid
S(F) = {v : R+} I(F) = {}
S(L) = {k : N, m: R+, a: Q+} I(L) = {}
S(B) = {v : N; } I(B) = {}
Semantikareeglid
Produktsioon p Rp
B->0 B.v = 0
B->1 B.v = 1
L->B L.k = B.v
L.m = B.v / 2
L.a = 1 / 4
L->LB L.k = L1.k * 2 + B.v
L.m = L1.m + B.v * L.a
L.a = L1.a / 2
F->L F.v = L.k
F->L.L F.v = L1.k + L2.m