言語分類(計算)

I need to determine if L:={|HP<=L(M)} is a recursive language, and if L is a recursively enumerable language.

私はライスの定理が L が再帰的でないことを証明するのに役立つと思うが、 L は再帰的に列挙可能ではないと思う。

2
ここでHPとは何ですか?
追加された 著者 Victor Stafusa,

1 答え

LがREにない場合、LはRにもありません。

あなたはそれを停止問題にまで減らそうとするべきです。 Xは、L(X)が真であれば偽を出力するチューリングマシンであり、L(X)が偽であれば真を出力すると言います。

L(X)は真ですか? L(X)が偽であれば矛盾です。

L(X)は偽ですか? L(X)が真ならば唯一であり、矛盾でもある。

この矛盾は、Lがチューリングマシンによって計算可能であるという暗黙の前提にある。したがって、Lは計算可能ではない。 Xチューリングマシンは存在できません。最後に、LはREにはなく(Rではなく)

0
追加された