多テープチューリング機械.pptVIP

計算の理論 II多テープTuring機械 月曜4校時 大月美佳 講義の前に 今後の日程(再掲) 休講?補講について 1/26は休講（学会関連） 1/21と1/22(と他1日)が補講 レポートについて 来週12/22に大レポート(20点配点) 試験 2/9が試験(40点配点) 今日の講義 前回のおさらい 帰納的関数を計算するTMの合成 初期関数、合成と帰納を表すTM 多テープチューリング機械(予定変更) 計算量を定義するための基礎 ミニテスト?前回テスト回収 時間があれば 計算量のさわり 多テープTuring機械の定義式 M=(Q, Σ, Γ, δ, q0, B, F) Q: 状態の有限集合 Σ: 入力アルファベット Γ: 作業用テープのアルファベット q0: 初期状態q0∈Q B: 空白記号B∈Γ F: 最終状態の集合F?Q δ: Q×(Σ∪{￠, $})×(Γ∪{$})k×Q×(Γ∪{$})k×{L, R, N}k+1の部分集合 多テープTuring機械の模式図 入力 0, 1, BΣ アルファベット q0, qx, qf Q F 状態の集合 有限状態系 qx q0 初期状態 停止状態の集合 作業テープ=右に無限長 空白記号 遷移関数δ … … 0, 1Σ アルファベット 多テープTuring機械の基本的動作 状態pで入力テープのヘッドがa, i番目の 作業用テープのヘッドがXiを読んだとき、 作業用テープのヘッドのある場所をYiに書き換える。 入力テープのヘッドをD0、 i番目の作業用テープのヘッドを方向Diに移動する。 (m, D0, D1, …, D1 ∈{L, R, N}) 次の状態qに遷移する。 →遷移関数：δ 遷移δ (p, a, X1, …, Xk, q, Y1, …, Yk, D0, …, Dk)∈δ k: 作業用テープの数 p: 前状態 a: 入力テープのヘッドの位置の記号 a=￠ならばD0=RまたはN a=$ならばD0=LまたはN X1, …, Xk: 作業テープのヘッドの位置の記号 Xi=$ならばYi=$であり、Di=RまたはN Yi=$であるのはXi=$のときに限る q: 次状態 Y1, …, Yk: 作業テープのヘッドの位置に書き込む記号 D0: 入力テープのヘッドの移動方向 D1, …, Dk: 作業テープのヘッドの移動方向 遷移δ(u) δ(u)={v∈ K2 | (u, v)∈δ} K1 = Q×(Σ∪{￠, $})×(Γ∪{$})k K2 =Q×(Γ∪{$})k×{L, R, N}k+1 u=(p, a, X1, …, Xk)∈ K1 v=(q, Y1, …, Yk, D0, …, Dk)∈ K2 決定性(deterministic) Turing機械(DTM) 各u∈ K1 について|δ(u)|≦1である。 計算状況の定義 C(x): (q, (h, ￠x$), (h1, ξ1), …, (hk, ξk)) q: 現在の状態 h: 入力テープのヘッドの位置 (0≦ h≦|x|+1) ￠x$: 入力テープの記号列 x=x0x1…xn+1 のとき (h, ￠x$)= x0x1…xh…xn+1 hi: 作業用テープのヘッドの位置 ξi: 作業用テープの記号列 (h, ξ)= ξ(0)ξ(1) …ξ(h) … ξ(n)… ξ: 写像N→Γ∪{$} 動作├M, ├ C(x): (p, (h, ￠x$), (h1, ξ1), …, (hk, ξk))が xh=a (￠x$=x0x1…xn+1, xi∈Σ∪{￠, $}) ξi (hi)= Xi (1≦i≦k) を満たしているとき、遷移 (q, Y1, …, Yk, D0, …, Dk)∈δ(p, a, X1, …, Xk) によって次のように定義される計算状態D(x) に移ることができる。 動作├M, ├つづき D(x): (q, (h+D~0, ￠x$), (h1+D~1, ξ~1), …, (hk+D~k, ξ~k)) Di =Rのとき、 D~i =1, Di =Lのとき、 D~i =-1, Di =Nのとき、 D~i =0, (1≦i≦k) ξ~i (hi)= Yi , ξ~i (n)= n (n≠hi) (1≦i≦k) ただし、0≦h+ D~0≦|x|+1および、 0≦h+ D~i (1≦i≦k) が成り立つときに限る。 →C(x)├MD(x)または単にC(x)├D(x)と書く 動作の模式図 C(x) D(x) … … 動作と計算状況の具体例 (p, 0, 1, q, R, R) (1, R, R, q) ∈δ(p, 0) p→q 1 (p, ￠001100$, $BB…)├ (q, ￠001100$, $1B…) 停止、 ├*