チューリングマシン
状態集合 Q のある元 qinit を初期状態(initial state)と定める。