チューリングマシン

チューリングマシン

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

Q
状態有限集合
Γ
テープ記号有限集合
ΣΓ
入力記号有限集合
δ
動作関数 (Q × ΓQ × Γ × {L, S, R})
q0Q
初期状態
BΓΣ
空白記号
FQ
最終状態 (受理状態) の有限集合

[2] The LEGO Turing machine | haha.nu - the lifestyle blogzine ( 版) <http://haha.nu/consumerism/gadgets/the-lego-turing-machine/>