チューリング機械とは、数学者アラン・チューリングが提唱した、計算の概念を数学的に定義するための仮想的な計算モデルです。無限のテープと読み書きヘッド、状態遷移規則から構成され、現代のコンピュータやアルゴリズム、計算可能性理論、人工知能の理論的基盤として重要な役割を果たしています。
チューリング機械とは
チューリング機械とは、コンピュータが実行できる「計算」の仕組みを数学的にモデル化した仮想の計算装置です。
詳しく解説
チューリング機械は、1936年にアラン・チューリングによって考案されました。このモデルは、マス目に区切られた無限長のテープ、テープ上の記号を読み書きし左右に移動するヘッド、内部状態を記録する制御部、そして一定の規則に従って状態を変える遷移表から成り立ちます。チューリング機械は、人間や機械が手順に従って問題を解く「アルゴリズム」の本質を形式化したものであり、何が計算可能で何が計算不可能かを議論する「計算可能性理論」の基礎となっています。また、任意のチューリング機械を模倣できる万能チューリング機械の概念は、プログラムをメモリに読み込んで実行する現代の汎用コンピュータの設計思想そのものとなり、その後の人工知能の理論的発展にも深く寄与しました。
具体例・使われ方
チューリング機械のイメージは、無限に続く方眼紙と、1マスずつ読み書きしながら指示書に従って動くロボットに例えられます。ロボットはマス目の記号を読み、指示書に従って記号を書き換え、左右どちらかに1マス移動して次の状態に切り替わります。現代のプログラミング言語の多くは、このチューリング機械と同等の計算能力を持つことを示す「チューリング完全」という基準を満たしています。
似た用語との違い
チューリング機械は計算理論のモデルですが、チューリングが考案した別の概念である「チューリングテスト」は、機械が人間と同等の知能を持つかを判定する対話型のテストであり、目的が異なります。また、実際の物理的なコンピュータはメモリ容量や処理時間に有限の制約がありますが、理論上のチューリング機械は無限のテープ（メモリ）を前提としている点で異なります。
注意点
チューリング機械は理論的な概念モデルであり、実在する物理的な機械ではありません。また、チューリング機械で原理的に解けない問題（停止性問題など）が存在するため、すべての数学的命題や論理問題が計算によって解決できるわけではない点に注意が必要です。