量子計算学習ノート - チューリング機械2
この記事は「量子コンピュータと量子通信 (オーム社)」の読書ノートです。
この記事では具体的なチューリング機械の動きを確かめてみることにしよう。次のようなチューリング機械を考える。
状態集合$${S \equiv \{q_1, q_2, q_3, q_s, q_h\}}$$
$${Tape \equiv (\triangleright, x_0, x_1, x_2, x_3, b, b, b, \cdots)}$$
ここで$${x_i}$$は任意の2進数($${0,1