チューリングマシン
チューリングマシン (英: Turing machine) は、アラン・チューリングが「計算可能性」に関する議論のために提示した抽象機械である[1]。
![](http://up.wiki.x.io/wikipedia/commons/thumb/8/8f/Turingmachine.jpg/220px-Turingmachine.jpg)
歴史
編集チューリングの「計算可能数について──決定問題への応用」(1936年)において提示された[2]。同様なものを同年にエミール・ポスト (Emil Post) も独立に発表している[3]。構想の理由、動機についてはポストの論文が明確だが、機械自体に関する記述はチューリングの論文が詳細である。次いで、同時代に提示された他の計算モデルも計算可能性の理論からは同等であることが確認され、チューリング=チャーチのテーゼはそれらを「計算可能」の定義とすることを提唱した。
概要
編集ここでは非形式的(直感的)に述べる。理論的には形式的に述べる必要がある。
チューリングマシンには、いわゆるハードウェアに相当するものとして、
- その表面に記号を読み書きできるテープ。長さは無制限(必要になれば順番にいくらでも先にシークできる[注 1])とする
- テープに記号を読み書きするヘッド
- ヘッドによる読み書きと、テープの左右へのシークを制御する機能を持つ、有限オートマトン
がある。
また、ソフトウェアに相当するものとして、以下がある。
- テープに読み書きされる有限個の種類の記号
- 最初から(初期状態において)テープにあらかじめ書かれている記号列
- 有限オートマトンの状態遷移規則群。詳細は次で述べる
この有限オートマトンの状態遷移規則は、その有限オートマトンの「現在の状態」(内部状態)と、ヘッドがテープの「現在の場所」から読み出した記号の組み合わせに応じて、次のような動作を実行する。
- テープの「現在の場所」に新しい記号を書き込む(あるいは、現在の記号をそのままにしてもよい)
- ヘッドを右か左に一つシークする(あるいは、移動しなくてもよい)
- 有限オートマトンを次の状態に状態遷移させる(同じ状態に遷移してもよい)
さらに、この有限オートマトンには(一般的な有限オートマトンの「受理状態」と同様な)「受理状態」がある。計算可能性理論的には、決定問題の2種類の答えに対応する、2種類の受理状態が必要である[注 2]。
現実の計算との関係
編集実際の計算機の基本的動作も、突き詰めて考えれば、このチューリング機械の原理に従っているといえる。実用上の電子計算機はチューリング機械よりも遥かに複雑であり、また有限の記憶領域しか持たないが、「計算機で原理上解ける問題」は「チューリング機械で解ける問題」と同じであるといわれている。このため計算理論では、アルゴリズムをチューリング機械上の手続きと同一視して議論することができる(チャーチ=チューリングのテーゼ)。
数学の形式体系はすべてこの仮想機械の動作に還元できるといわれている。この機械で決定できない命題も存在する。例えば与えられたチューリング機械が停止するかどうかをチューリング機械で決定することはできない(停止性問題)。これはゲーデルの不完全性定理の別の表現の形とみなすことができる。
形式的な定義
編集この節では、チューリングマシンを形式的(formal)に記述する。
- チューリングマシン
- チューリングマシン M は次の7つ組で定義される:
- 状態
- 有限集合 Q の元 q ∈ Q を状態 (state) という。
- 字母・記号・文字列
- 状態集合 Q と交わらない有限集合 Γ を字母(alphabet)といい、字母の元 a ∈ Γ を記号 (symbol) という。重複を許した有限個の記号の列全体からなる集合を Γ* と表し、その元 x ∈ Γ* を字母 Γ の文字列(string)または文(statement)という。
- 空白記号
- 字母 Γ のある元を空白記号 (blank) と定め、b で表す。
- 入力字母・入力記号
- 字母から空白文字を除いた Γ − {b} の部分集合 Σ を入力字母(input alphabet)といい、入力字母の元を入力記号(input symbol)という。
- 遷移函数
- 写像 δ: Q × Γ → Q × Γ × {left, right} を遷移函数という。δ(q, a) = (q′, a′, m) は、「現在の状態が q であり、着目位置の記号が a であれば、状態を q′ に移し、着目位置に記号 a′ を書き込んでから、着目位置を m ∈ {left, right} 方向に1つずらす」と読む。
- 初期状態
- 状態集合 Q のある元 qinit を初期状態(initial state)と定める。
- 受理状態
- 状態集合 Q のある元 qacc を受理状態(accepting state)と定める。
- 状況
- 上の(片側)無限列のうち、状態集合 Q の元がちょうど1度現れ、また空白 b 以外の記号が有限回しか現れないものをチューリングマシン M の状況(configuration)という。遷移函数 δ は、状況から状況への写像を自然に定める。
- 受理
- 「チューリングマシン M が入力文字列 を受理(accept)する」とは、チューリングマシン M が初期状態 qinit で入力文字列 x が与えられた状況 に対し、遷移函数 δ を有限回作用させ受理状態 qacc へ遷移した状況 が得られることをいう。
- 実行時間・記憶領域量
- チューリングマシン M が入力文字列 x ∈ Σ* を受理するまで遷移函数を作用させる最小の回数をチューリングマシン M の入力文字列 x に対する実行時間とよぶ。その過程における状況中の q の最右位置を、M が x に対して使用する記憶領域量という。
M が言語 を認識するとは、M が L の元のみをみな受理することをいう。そのようなチューリング機械 M が存在するとき、L は帰納可枚挙(recursively enumerable)あるいは計算可枚挙(computably enumerable)であるという。L と がともに帰納可枚挙であるとき、Lは帰納的(recursive)あるいは決定可能(decidable)であるという。
より精細に、自然数から自然数への写像 t に対し、M が L を時間計算量[ないし空間計算量]t で認識するとは、M が L を認識し、かつ各 に対する の実行時間[ないし記憶領域量]が 以下であることをいう。ここで は文字列 x の長さを表す。
変種
編集細かい相違
編集次の各項目について上記の定義に変更を施しても、帰納可枚挙な言語は変わらず、また時間計算量や空間計算量に対する影響も小さい。このため、チューリング機械の定義の詳細は文献によって異なっている。
- 字母 の大きさ(それが を含む有限集合であるかぎり)。
- 遷移函数が着目位置を左右に必ず動かすか、同じ位置に留まる事を許すか。
- 文字列を受理するさい、テープ上の記号をすべて にする必要があるか、受理状態へ移るだけでよいか。
- テープが両方向に無限であるか、片側に終端があるか。
- さらに、記憶領域が一次元のテープであるか、より複雑な形状をしているか。
- テープの本数。
空間計算量を細かく調べるときには、書き換えできない入力専用テープを設けて、そこでの使用領域量を無視することがある。すなわち、遷移函数 を から への写像とし、状況の定義も適切に変更する。
変換機
編集言語を認識するだけでなく、 から への部分函数 を計算する機械を考えることもできる。すなわち機械 は、各 に対しては文字列 をテープに書いてから初めて受理状態へ移り、 に対しては決して受理状態へ移らない。このような が存在するとき、 は部分帰納的あるいは計算可能(computable)であるという。
決定的と非決定的
編集遷移関数 において、現在の状態 q と着目位置にある記号 a の、ある組 (q, a) に対し、値(すなわちその時にすべき動作)が、高々一つならば、そのチューリングマシンは「決定的」(deterministic)である。これに対し、動作が複数の場合は「非決定的」(non-deterministic)であり、受理の意味も再定義して、非決定的チューリングマシンや乱択チューリングマシンが定義される。また、未来と過去を逆にしても決定的であるのが可逆チューリングマシンである。
神託つき機械
編集質問状態を加える。
万能チューリングマシン
編集遷移規則をうまく構成することで、「いかなるチューリングマシンであろうとも、それを模倣することが可能なチューリングマシン(万能チューリングマシン)」が可能である。万能チューリングマシンは、与えられた、別のチューリングマシンを記述した記号列と、そのチューリングマシンへの入力記号列を読みこみ、それに従って動く。(エミュレータの原理)
脚注
編集注釈
編集出典
編集- ^ "チューリングマシン". ASCII.jpデジタル用語辞典. コトバンクより2022年2月2日閲覧。
- ^ Turing, A. M. (1937). “On Computable Numbers, with an Application to the Entscheidungsproblem” (英語). Proceedings of the London Mathematical Society s2-42 (1): 230–265. doi:10.1112/plms/s2-42.1.230 .
- ^ Post, Emil L (1936). “Finite combinatory processes—formulation”. The journal of symbolic logic (Cambridge University Press) 1 (3): 103-105. doi:10.2307/2269031 .Reprinted in The Undecidable, pp. 289ff.
関連項目
編集外部リンク
編集解説
- Turing machine - スカラーペディア百科事典「チューリングマシン」の項目。
- Turing Machines - スタンフォード哲学百科事典「チューリングマシン」の項目。
- Weisstein, Eric W. "Turing Machine". mathworld.wolfram.com (英語).
その他