すべての言語を判定する計算機構 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2016/05/18(水) 22:13:24.42

チューリングマシンは可算個しかないからすべての言語は判定できないという。
じゃあチューリングマシンを拡張して濃度を増やせばいいんじゃね？
そのような拡張を考えたときどのようなものが出来上がるか？あるいは無意味なのか？
そんなことを考えるスレ。

**デフォルトの名無しさん** · 2016/05/18(水) 22:28:06.75

<　｀∀´>ﾆﾀﾞｰ

**デフォルトの名無しさん** · 2016/05/18(水) 22:40:02.24

言語Lをdecider M(1..i)の集合とする
この時Mは有限個なのでLはdecidableであり、対応するEnumerator Eが存在する

この時次のように動くチューリングマシンM'を考える
入力xに対して、すべてのアルファベットの組み合わせにおけるj番目=xを計算する
前述のEを用いてMjを取り出し、Mjに入力xをシミュレートさせる
もしMjがxを受理したらM'は拒否する、あるいはその逆を行う
すべてのMはdeciderなのでM'もdeciderであり
その言語L(M')もdecidableであるがL(M')はL内にあるどのL(M1...i)とも一致しない

つまり言語を判定できるチューリングマシンがいくつあろうとも
その集合によって判定できない言語L(M')を常に作り上げることができる
つまりすべての言語を判定できるチューリングマシンは存在しない

証明終わり

**デフォルトの名無しさん** · 2016/05/18(水) 22:55:46.59

>この時Mは有限個なので

なんで有限個なの？今考えている拡張は有限とかいう縛りは考えてないぞ。

**デフォルトの名無しさん** · 2016/05/18(水) 23:05:29.06

別に有限じゃなくても大丈夫だよ。有限だと言語Lがdecidableなのは自明というだけのこと
とにかく判定対象の言語Lはdecidableだというのが肝
すると結局LのEnumerator EとLを判定するマシンMで同じことができる

**デフォルトの名無しさん** · 2016/05/18(水) 23:10:10.83

>すべてのアルファベットの組み合わせにおけるj番目=xを計算する

ここもダウト。
今考えてる拡張はアルファベットを基にしたものとは限らない。
例えば実数を扱えるようにするとか。

**デフォルトの名無しさん** · 2016/05/18(水) 23:14:19.64

マシンは拡張するけど言語は拡張しないからね？言っとくけど。

**デフォルトの名無しさん** · 2016/05/18(水) 23:33:18.24

実数だって一緒だよ。{0-9.+-}というアルファベットの組み合わせなんだから
実数自体はuncountableなのが問題だけど
実数を扱えるチューリングマシンを”仮定”するならEnumeratorは作れる

ところでEnumeratorって日本語だとなんていうの？列挙？

**デフォルトの名無しさん** · 2016/05/18(水) 23:44:30.22

可算の動きしか通常仮定しないチューリングマシンにおいて実数を取り扱うって自体
話を無理矢理な方向にもって行き過ぎ。
uncountable なのは本質なのに。