この言語が認識可能であると認識できないのはなぜですか

Question

次の言語がr.eであることを読みましたしかし、認識可能な認識可能なものではありません

$ L $ ： $ m $ （ $ m $ はチューリングマシンです、 $ m $ は少なくとも20の入力

を受け入れます。

認識可能な理由がわからない。私はおそらく $ \ overline {a_ {tm}} $ から次の縮小を行うことができるので $ l $ に $ r $

$ R $ ：on入力 $ $ ：

1. tm $ m_1 $ 、数学コンテナ "> $ x= 1 $ 、
を受け入れる
2. 入力 $ x $ が $ 1 $ に等しくない場合は、 $ m $ $ | x | $ ステップ。 $ | x | x | $ 手順、 $ m $ は $ x $
を受け入れます。

この減少から、 $ m $ が $ w $ 、つまり $ \ inv in \ invline {a_ {tm}} $ 、 $ m_1 $ $ m_1 $ Word、つまり $ m_1 \ in l $ 。

ここで何か不足していますか？

Answer 1

あなたが欠けているのは、 $ \ langle m、w \ rangle \ notin \ overline {A _ {\ mathrm {tm}}} $ 、つまり場合 $ m $ 入力 $ w $ の停止 $ M_1 \ Notin L $ 。 $ m $ の場合、 $ w $ を停止しますが、これは $ 20 $ 手順では、 $ m_1 \ in l $ にも保持されます。したがって、あなたはここで減らすことはできません。

言語 $ L $ はCo-Reにすることはできません。米の定理の直接の結果です。