[1] 
[DFN[[RUBYB[チューリング機械]@en[Turing machine]]]]:
[CODE(math)@en[[VAR[M]] = ([VAR[Q]], [VAR[Γ]], [VAR[Σ]], [VAR[δ]], [VAR[q[SUB[0]]]], '''[VAR[B]]''', [VAR[F]])]]

:[CODE(math)@en[[DFN[[VAR[Q]]]]]]:[[状態]]の[[有限集合]]
:[CODE(math)@en[[DFN[[VAR[Γ]]]]]]:[[テープ記号]]の[[有限集合]]
:[CODE(math)@en[[DFN[[VAR[Σ]]]] ⊆ [VAR[Γ]]]]:[[入力記号]]の[[有限集合]]
:[CODE(math)@en[[DFN[[VAR[δ]]]]]]:[[動作関数]]
([CODE(math)@en[[VAR[Q]] × [VAR[Γ]] → [VAR[Q]] × [VAR[Γ]] × {[VAR[L]], [VAR[S]], [VAR[R]]}]])
:[CODE(math)@en[[DFN[[VAR[q[SUB[0]]]]]] ∈ [VAR[Q]]]]:[[初期状態]]
:[CODE(math)@en[[DFN[[VAR['''B''']]]] ∈ [VAR[Γ]] − [VAR[Σ]]]]:[[空白記号]]
:[CODE(math)@en[[DFN[[VAR[F]]]] ⊆ [VAR[Q]]]]:[[最終状態]]
([[受理状態]]) の[[有限集合]]

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