チューリングマシン
質問状態を加える。
Γ ∪ Q {\textstyle {\mathit {\Gamma }}\cup Q} 上の(片側)無限列のうち、状態集合 Q の元がちょうど1度現れ、また空白 b 以外の記号が有限回しか現れないものをチューリングマシン M の状況(configuration)という。遷移函数 δ は、状況から状況への写像を自然に定める。
字母 Γ のある元を空白記号 (blank) と定め、b で表す。