web-dev-qa-db-ja.com

コンウェイのライフゲームを万能チューリング機械として分類できるのはなぜですか?

私は最近、人工生命について読んでいて、次のような声明に出くわしました。 「コンウェイのライフゲームは、万能チューリング機械として分類されるのに十分な複雑さを示しています。」 私は ユニバーサルマシン はそうです、そしてウィキペディアはウィキペディアがこれまでに行ったのと同じくらい理解に私を近づけただけです。誰かがこの非常にセクシーな声明に光を当てることができるでしょうか?

コンウェイのライフゲーム 私には、いくつかの途方もない意味を持つ素敵な気晴らしのように見えます:それと計算機の間で飛躍することはできませんか?それは私が作るべき飛躍でさえありますか?

52
Ziggy

あなたコンウェイの人生からチューリングマシンを作ることができます-それはかなり恐ろしいでしょうが。

キーはグライダー(および関連するパターン)にあります-これらは競技場に沿って(ゆっくりと)移動するため、ビットのストリームを表すことができます( 1の場合はグライダー、0の場合は不在)。他のパターンは、グライダーの2つのストリームを(直角に)取り込み、元の2つのストリームのAND/OR/etcに対応するビットの別のストリームを放出するように構築できます。

編集:これについては LogiCell Webサイト に詳細があります。

36
Jon Skeet

Paul Rendellは Turing machine in Life を実装しました。グライダーは信号を表し、それらの間の相互作用は、チューリングマシンを実装するより大きなコンポーネントを一緒に作成できるゲートとロジックです。

基本的に、AND、OR、およびNOTを実装できる自動機械は、チューリング完全になるのに十分な複雑な方法で組み合わせることができます。計算するのに便利な方法ではありませんが、基準を満たしています。

45
Ned Batchelder

コンウェイの「ライフ」はさらに発展させることができます。ユニバーサルチューリングマシンを実装するライフパターンを構築できるだけでなく、フォンノイマンの「ユニバーサルコンストラクター」 http://conwaylife.com/wiki/ Universal_constructor

「ユニバーサルコンストラクター」は、それ自体のコピーを含む任意のパターンのセルを構築するようにプログラムできるため、Cowayの「Life」はユニバーサル計算だけでなく「自己複製」も可能です。

12
gdp

私はパウンドストーンの本TheRecursiveUniverseを強くお勧めします。絶版ですが、おそらく良いライブラリでコピーを見つけることができます。それはほとんどすべて、コンウェイの生命の力と、自己複製実体やIIRC、ダーウィンの進化など、一連の自然法則によって宇宙に存在できるものについてです。

4
Die in Sente

そして、ポール・チャップマンは実際に生命のゲームを備えた万能チューリング機械を構築します: http://www.igblan.free-online.co.uk/igblan/ca/ 「万能ミンスキーレジスターマシン」を構築することによって。

パターンは、30x30の正方形の格子上に構築されます。軽量宇宙船(LWSS)は、P60ロジックを備えたコンポーネント間の通信に使用されます(レジスターを除く-以下を参照)。 LWSSは、格子の正方形を横切るのに60世代かかります。したがって、60世代ごとに、コンポーネント間LWSS(パルス)は、それが存在する正方形に対して同じ位置にあり、回転が可能です。

3
svrist