Esercizio

ε
v1
v2
v3
v4
v5
v6
v7
=a
= ae
= aed
= aedd
= aedde
= aeddeb
= aeddebc
γ(ε) = ε
γ(v1 ) = a
γ(v2 ) = a
γ(v3 ) = a
γ(v4 ) = a
γ(v5 ) = a
γ(v6 ) = ab
γ(v7 ) = ab
aa, ab, ac, ad ∈ AD
ea, ec, ee, aeb ∈ AD
da, db, dc, ede ∈ AD
da, db, dc, ddd ∈ AD
ba, bb, bd, be ∈ AD


δ(p, a)
δ(p, a) =


se definita
δ(sn (p), a) se no, dove n = min{m | δ(sm (p), a)} è definita
s∗ : v → sk (u),
½
R1 :
½
An+1 = An
Bn+1 = An Bn
R2 :

 l0 = 1
l1 = a 0 + 1

lj+1 = aj · lj + lj−1
P
Q
= [a0 , . . . , as ] con
Ps
i=0
An+1 = Bn An
Bn+1 = Bn
j = 1...s
ai ≥ 2
x+5=y
(1)
3x + 5 = 9y − 3
(2)
1