machine de Turing

cba a
-
6
· · · · · ·
Σ
Σ
Σ∗
cbaa
Q
.
(q, α)q∈Q
α∈Σ (α0, q0)
α0Σ
← → q0Q
(q, α) (α0, q0)
q α
α0∈Σα0
α0=
α0=←
α0=→
q0
(q, α, α0, q0)
(Q, Σ, δ, q0,)
Q
Σ
6∈ Σ
q0
δ Q ×(Σ ∪ {})→(Σ ∪ {,←,→})×Q
(Q, Σ, δ, q0,)
(q, α, α0, q0) (α0, q0) = δ(q, α)
(q, α)
Σ = {0,1}Q={q0, q1}
{(q0,0,→, q0),(q0,1,→, q0),(q0,,←, q1),(q1,0,1, q1)}
n7→ n+ 1 n n 7→ n n