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) = {} |
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 |