Post–Turing machine とは

記事チューリングマシンはチューリングマシンの一般的な紹介ですが、この記事ではチューリングマシンの特定のクラスについて説明します。
ポストチューリングマシンは、以下に説明するEmil PostのTuring等価計算モデルの変形を含む、特に単純なタイプのチューリングマシンの「プログラム定式化」である。 (PostのモデルとTuringのモデルは、互いに非常に類似していましたが、独立して開発されました.Turingの論文は1936年5月に出版され、その後10月にPostに掲載されました。)Turing後の機械は、2進アルファベット、記憶場所と、記憶場所間の双方向移動とその内容の変更とを一度に1つずつ指示するプリミティブプログラミング言語とを含む。 「Post-Turing program」と「Post-Turing machine」という名前は、Martin Davisによって1973-1974年に使われた(Davis 1973、p。69ff)。 1980年後半、Davisは「Turing-Postプログラム」という名前を使用しました(Davis、Steen p.241)。

Turing machine equivalents とは

チューリングマシンは、1936年にAlan Turingによって最初に考案された仮想のコンピューティングデバイスです。チューリングマシンは、有限のルールテーブルに従って潜在的に無限のテープストリップ上のシンボルを操作し、コンピュータアルゴリズムという概念の理論的基礎を提供します。
次のモデルのいずれも単一テープ、一方向無限、マルチシンボルのチューリングマシンモデルよりも強力であることは示されていませんが、著者は定義して使用して質問を調査し、彼らがTuringのa-machineモデルにとどまっていたならば。

Zeno machine とは

数学とコンピュータサイエンスでは、Zenoマシン(ZMと略し、加速チューリングマシン、ATMとも呼ばれます)は、有限の時間内に無数のアルゴリズムステップを実行することを可能にするチューリングマシンに関連する仮想的な計算モデルです。これらのマシンは、ほとんどの計算モデルでは除外されています。
より正式には、Zenoマシンはn番目のステップを実行するために2 n時間の時間を要するチューリングマシンです。したがって、第1のステップは0.5単位時間を要し、第2の値は0.25単位、第3の0.125単位などをとり、1単位時間後に無制限(すなわち、≧0)のステップ数が実行される。
Zenoマシンのアイデアは、1927年にHermann Weylによって最初に議論されました。名前はエレノの古代ギリシャ哲学者ゼノに起因するゼノのパラドックスを指します。 Zenoマシンはいくつかの理論で重要な役割を果たしています。たとえば物理学者Frank J. Tiplerが考案したオメガポイントの理論は、ゼノマシンが可能な場合にのみ有効です。

Turmite とは

コンピュータサイエンスでは、タウマイトは方向性と現在の状態を持つチューリングマシンであり、無限の2次元格子のセルで構成された「テープ」です。 antとvantという用語も使われています。 Langtonのアリは、正方形の格子のセル上に定義されたよく知られたタイプのタウマイトである。 Patersonのワームは、等尺性グリッドの端に定義された一種のturmiteです。
一般にタムマイトは、無限のテープを備えた1次元チューリングマシンと同等のパワーを持ち、どちらか一方をシミュレートすることができることが示されています。