身近な物にチューリングマシンを見出そう
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
2007/09/26(水) 20:31:55という流れになって欲しいスレ
ライフゲームのようなものが発見できればいいと思ってる
・グラフィカルにシミュレート可能
・ルールが単純
・身近な現実の現象にヒントを得ている
等が満たされていればなお良し
もちろんラムダ計算のようなものでもかまわない
0002132人目の素数さん
2007/09/26(水) 20:33:02http://plaza.rakuten.co.jp/minoran/
00031
2007/09/26(水) 20:58:03無限に広い碁盤の目の上にチワワを配置する
各チワワは内部に有限オートマトンを内部に持っていて
以下の入出力により、状態が遷移していく
出力は{停止、前に進む、直前のセルにチワワを産む、右を向く、左を向く、自殺}
の5種類
入力は{前方にチワワがいて前に進めなかった、とくに問題なし}
の二種類
有限オートマトンの定め方によっては
チューリングマシンになりそうだと思いました
0004132人目の素数さん
2007/09/27(木) 00:17:31■■ ■■■■■ ■■■
■ ■ ■ ■
■ ■ ■
■■■ ■■ ■ ■
■ ■■■ ■■
■ ■ ■
■ ■ ■ ■
■■ ■■
■ ■■ ■■■ ■
■ ■ ■
■■ ■ ■ ■ ■
■ ■ ■■
■■■ ■ ■ ■■■ ■
■ ■ ■ ■■
■ ■ ■ ■
■■■ ■■■■■■■■■
このスレは、もんざえモンが使用します
0005132人目の素数さん
2007/09/27(木) 02:16:480006132人目の素数さん
2007/09/27(木) 03:25:48とりあえずORゲート作った
→ ○
↑
→ ○
○はずっと静止していて壁の役割を果たすゾウリムシ
→は壁にさえぎられるまで右直進するゾウリムシ
これが入力になる。
↑は上,下,下,上,上,下,下,..と上下に移動し
どちらかの進行に失敗すると右に移動し続けるようになるゾウリムシ
これが出力になる。
0007132人目の素数さん
2007/09/28(金) 09:21:16�@
→ ⇔ → → → →
�A
→⇔ → →
�B
→ ⇔ → → → →
�@
⇔は左,右,左と振動し
右を向いたときに、出力信号を産むように作る
�A
左から入ってきた入力によって
⇔が左に行くのを邪魔されると
⇔はいったん停止し
出力は止む
�B
左から入ってきた入力はしばらくすると自殺する(ように作る)ので
�@の状態に戻る
0008132人目の素数さん
2007/10/18(木) 04:28:050009132人目の素数さん
2007/10/30(火) 14:20:310010132人目の素数さん
2007/10/30(火) 21:06:29http://wiredvision.jp/news/200710/2007102622.html
Wolfram's 2,3 Turing Machine Is Universal
http://www.wolframscience.com/prizes/tm23/solution_news.html
0011132人目の素数さん
2007/10/30(火) 21:36:53証明に誤り発見?
[FOM] Simple Turing machines, Universality, Encodings, etc.
http://cs.nyu.edu/pipermail/fom/2007-October/012156.html
Wolfram Researchの中の人のコメント
http://forum.wolframscience.com/showthread.php?s=&threadid=1472
0012132人目の素数さん
2007/10/31(水) 18:56:052つの状態と3つの色を持つ装置ってどういうこと?
■ このスレッドは過去ログ倉庫に格納されています