条件分岐のチューリング-完全性?

Question

している私を見矛盾を答えなのです。一部の源として存続していくためには、語学/機械/ういうチューリング完了の場合だけで 両 条件付き、無条件分岐するかのような冗長)、もうひとつのみ無条件が必要で、それだけの条件が必要です。

読みのドイツ語 Z3 や ENIAC, Wikipedia"と言ってい

ドイツのZ3（組合 1941年)による設計コンラート-Zuse.で 最初の汎用デジタル コンピュータで 電気機械およ 電子として用リレーのためのすべて ます。計算したかのように論理的に使用 バイナリmath.またプログラマブルによる 打抜きテープが欠 条件付きです。ないものの設計 のためのチューリング-完全性、 誤っていたのでした 1998年にもこの チューリング-完全性、複雑な hacksが必要です。

どの複雑なhacks,ね！

1998年の論文要旨の研究ロハスではまた（私はこの論文では、スニペットからIEEE.):

コンピューティング機Z3によって構築され、 コンラート-Zuse間1938年から1941年 実行可能なだけに固定配列 浮動小数点演算業務 (足し算、引き算、 増幅部は、スクエア root)のコードにパンチテープで貼ります。An 興味深い質問をお願いから、 視点の計算 かどうかは、これらの業務 十分なユニバーサル計算である。この論文は、実際には、 グループを含むこれらの 算術指導のシミュレーションができる 他のコンピュータがテープの れの有限サイズです。この を模擬した条件分岐と 間接的な対応により、純粋に 演算します。ZuseのZ3は そのため、少なくとも原則として、 ユニバーサルとして、今日のコンピュータ て有界対応す。

にSOersはどのようなタイプの分岐が必要なチューリング-完全性?仮に無限の記憶、言語だけで goto または jmp 分岐の構築（ if または jnz を構築します)とチューリング-完了ですか？

Answer 1

元のロハスなどで使用さ こちらの.基本的な考え方は、Z3サポートするだけでなく、無条件シングルループによる接着の指導テープにたたずんでいます。構築する条件の実行によってすべてのコード部分が次々とループを、変数zるかを決定するのは、それ部を実行することを示しています。首の部j,お

 if (z==j) then t=0 else t=1

し、その各課題 a = b op c この節を読み

 a = a*t + (b op c)*(1-t)

（各課題は何もしません。を除き、活躍します。現在、このも含まれる条件と課題:比較のあり方z==j?彼の提案を行用のバイナリ表現のz(z1..zm)とともに否定され、その反省に基づいたバイナリ表現のj(c1..cm）計算

t = 1 - sqr((c1-z1)(c2-z2)...(cm-zm))

この製品が1の場合c-zが異なるすべてのビットは、が起こる場合にのみz==j.指z（基本的には間接的にジャンプも付与することがありz1..zm.

ロハスですが、どうも 並列計算アルゴリズムの研究を必要としないユニバーサル計算-フォン-ノイマンコンピュータ.ある機械と自己修復コードに対応できるよう、読みのチューリングからメモリ、およびプログラムの修正にジャンプします。の代替として、提案し、上記のアプローチ（Z3)、バージョンだけを使った負荷(A)、(A)株式会社いています。

Answer 2

ない場合は算術表現を利用する事ができ性質の演算業務です。E.g.) は A では0,1のどちらでもかによっては一部の状態にすることを提言するために、計算） A*B+(1-A)*C 計算の表現 if A then B else C.

Answer 3

必要なことができる何かに基づいた支店（結果）から入力します。

片道模擬条件付の支店が自己の修正コード--い計算を行うことで、預金その結果、ストリームの指示が実行されます。きのop-コード無条件に指導ストリーム、数学に入力の正しい目標とジャンプによっては、一定の条件を入力します。例えば、差し引xからy、シフト右0-入った場合、または1-記入の場合はマイナスですが、それがすべてのベースアドレス、その結果を直後のjmp op-コードです。だがこのjmpんが一ご住所の場合、x==yの他の場合、x!=y.

Answer 4

できれば計算の住所 goto または jmp,シミュレーションすることができarbritary条件分岐.て利用しているこ験"x五a、b、cの"ZXます。

"True"の場合の数値の値が1で、"false"の場合は0、その建設のように:

if A then goto B else goto C

と同じです:

goto C+(B-C)*A

であり、"計算後藤"の自己修正、後藤又はjmpにとっての条件.

Answer 5

にZ3たチューリングから完全に抽象的。で任意に長いプログラムテープとしてで計算双方の条件とします。言い換えれば、各支店での計算の両方の回答を教えてくれるでしょを無視した。明らかにこの指数関数的に大きなプログラム毎に条件分岐いできない使用にチューリング-完了です。

Answer 6

必要な条件分岐の構築チューリング-完全な機械が、もちろん、どんなチューリング-完全な機械を提供並列計算アルゴリズムの研究を中核として、特徴です。

ることを実証したシステムとの ルール110セルオートマトン の実装で使用できます、チューリング機です。まずな並列計算アルゴリズムの研究を引きなどシステムからのビットケット。実際にこだけの利用 気岩.

の点は、コンピュータに並列計算アルゴリズムの研究を行なうとにかくする実証コンピュータの完全性や実装条件分岐.すな並列計算アルゴリズムの研究を行時点での岩はPN接合系の半導体.

Answer 7

ができ支店、その有するチューリング完了です。

その理由は有の条件分岐自動的にコンピュータのチューリング完了です。しかし、機械できな飛び支店の場合でもが考えられていまチューリング完了です。

加工の工程を入力-選択するためにします。<br></p><

分岐は、そのための方法の一つでmentalizeこのプロセスの状態をジャンプは何ができる分類の入力にご支店店舗への正しい出力と入力します。

それでは最後に、これから明らかにな

場合は条件分岐をコンピュータを使う必ずしも計算に相当するチューリング機です。しかし、たくさんありその他の方法でコンピュータをコンピュータの完全性(ラムダ仕様の場合、CL).