11. Juli und 13. Juli 2006

Eine Kodierung von TMen
M = (Z,Σ,Γ, δ, z 0 , ✷, E) ↦→ w M ∈ {0,1} ∗
Seien Z = {z 0 , z 1 , . . . , z n },
Γ = {a 0 , a 1 , . . . , a k }
mit ✷ = a 0 ,0 = a 1 ,1 = a 2 und # = a 3 ,
und E = {z n−j , . . . , z n } für ein j ≥ 0.
δ : Z × Γ → Z × Γ × {L, R, N}
δ(z i , a j ) = (z i ′, a j ′, y) ↦→ w i,j,i ′ ,j ′ ,y :=
mit m =
⎧
⎪⎨
⎪⎩
##bin(i)#bin(j)#bin(i ′ )#bin(j ′ )#bin(m)
0 falls y = L,
1 falls y = R,
2 falls y = N.
w ′ M ∈ {0,1,#}∗ : alle w i,j,i ′ ,j ′ ,y hintereinander
h : {0,1,#} ∗ → {0,1} ∗ : 0 ↦→ 00,1 ↦→ 01,# ↦→ 11
Dann: w M := h(w ′ m)
180