eldorado.tu-dortmund.de/server/api/core/bitstreams/c1c7ee12-8eb8-4c70-897b-6aa48a45c87c/content
σk+1(v,b) =
σk(u1,a), if |v|= n2, δ ∗(q0, \v) = q and b = a,
σk(u1v2,b), if v = v1v2 for some v1,v2 ∈ Σ ∗ where |v1|= n2,
δ ∗(q0, \v1) = q and the first symbol of v2 is a or â,
σk(v,b), otherwise [...] given by
σ ′ 1(v,a) =
σk((\u)(â1 . . . ân) jâ1 . . . âi−1v2,a), if v = v1v2 for some v1,v2 ∈ Σ
∗ and
δ ∗(q0, \v1) = q and either (v2,a) = (ε,ai)
or v2 ∈ Σ + begins with ai,
σk(v,a), otherwise [...] ((âun) 0,av0),((âun)
0âu0,v0v0),((âun) 0âu1,v1v0), . . . ,((âun)
0âun−1,vn−1v0),
((âun) 1,av1),((âun)
1âu0,v0v1),((âun) 1âu1,v1v1), . . . ,((âun)
1âun−1,vn−1v1),
((âun) 2,av2), . . . .
The …