[1] チューリング機械 (Turing machine) : M = (Q, Γ, Σ, δ, q0, B, F)

Q

状態の有限集合

Γ

テープ記号の有限集合

Σ ⊆ Γ

入力記号の有限集合

δ

動作関数 (Q × Γ → Q × Γ × {L, S, R})

q0 ∈ Q

初期状態

B ∈ Γ − Σ

空白記号

F ⊆ Q

最終状態 (受理状態) の有限集合

[2] The LEGO Turing machine | haha.nu - the lifestyle blogzine (2009-03-02 21:38:24 +09:00 版) <http://haha.nu/consumerism/gadgets/the-lego-turing-machine/>