チューリングマシンの定義

世界が新しい世界的な大混乱に向かっていたとき、1930年代に、 コンピューティング また、多くの場合、すでに予想されていた戦争努力の準備に導かれて、前進していました。

この文脈において、英国の数学者アラン・チューリング（事後的には、 コンピューティング 現代）彼の作品を開発し、1936年に、の基礎となるものを仮定します コンピューター モダン。

呼び出し チューリングマシン これは、与えられたルールに従ってデータを処理できる理論上のデバイスです。

ルールとデータはどちらも別個のものです。 実際、Turingは、ルールが何らかの固定メディアに保存されることを想像していましたが、 データは、同じマシンが次の表に従って変更できるテープに保存されます。 ルール。

この概念モデルでは、現代のコンピューターがどのようなものになるかがはっきりとわかります。 ユーザー名 シンプルで、あなたは簡単に間の違いを見ることができます アプリ 「不変」（微妙な違いがありますが、この場合はそのようにしましょう）と、ルールに従って変更できるデータ。 プログラミング.

理論上のチューリングマシンは非常に単純ですが、状態変化などの非常に基本的な操作のみを実行します。 読み取りと書き込み、それは機械式コンピュータが使用して実行できるすべての数学的計算を実行することができます アルゴリズム。

言い換えれば、問題が アルゴリズム 書面では、少なくとも理論レベルでは、チューリングマシンで処理できます。

アランチューリングは、コンピューターでは解決できない数学的問題があることを示すための演習としてそれを考えました。

チューリングが無限と考えたデータテープは、マシンによって右から左に移動できます 左から右へ、巻き戻したり、進めたりできる古いカセットやフィルムテープのように 裁量.

ルールのセットは、構文が必要なため、プログラミング言語としても理解できます。 論理 一貫性があります。

後から考えると、他の数学者がチューリングマシンのより洗練されたバージョンを作成しました。

したがって、2つのバンド、決定論者、または量子チューリングマシンを備えたマシンがあります。 その輝かしい祖先がしたように、助けは待望の計算の基礎を築きました 量子。

Photo Fotolia：Chrisdorney / Steve Simmons