質問するログイン新規登録

回答編集履歴

2

加筆

2019/03/20 23:56

投稿

episteme
episteme

スコア16612

answer CHANGED
@@ -2,4 +2,6 @@
2
2
 
3
3
  チューリングマシンを模倣するチューリングマシンですな。
4
4
 
5
- で、万能チューリングマシンと同じ能力のある計算モデルがチューリング完全です。
5
+ で、万能チューリングマシンと同じ能力のある計算モデルがチューリング完全です。
6
+ どんなプログラムであってもあなたが電卓を使ってそのプログラムを模倣できるなら、
7
+ 「あなた+電卓」はチューリング完全じゃないかな。

1

加筆

2019/03/20 23:56

投稿

episteme
episteme

スコア16612

answer CHANGED
@@ -1,3 +1,5 @@
1
1
  「チューリングマシンXを記号化した記号列と、Xに与えるデータの列Dを食わすとXにDを食わせたのとまったく同じ動作をするチューリングマシン」のこと。
2
2
 
3
- チューリングマシンを模倣するチューリングマシンですな。
3
+ チューリングマシンを模倣するチューリングマシンですな。
4
+
5
+ で、万能チューリングマシンと同じ能力のある計算モデルがチューリング完全です。