どのような未処理の言語$ B $はその補完に還元されますか？

Question

私は、 $ b \ leq_mのような、 $ b $ の例を与えるよう要求する問題を見つけました\ overline {b} $ ...

例を構築するのが難しいと思うことができます...私の難しさは、未定であるが認識可能な言語を作るが、 $ a_ {tm} $ を言うことが難しいことです。、その補足 $ \ overline {a_ {tm}} $ は、認識可能なループをチューリングしていません。このような言語を減らすと（ $ {tm}} \ in \ in \ in \ in \ in \ in \ inv}} $ 、インスタンス $ y \ in \ inv overline {a_ {tm}} $ は任意のTMで認識できません（定義によって $ \ overline {a_）{TM}} $ はルーピングです）...

助け？

Answer 1

$ h $ 空の入力を停止するすべてのチューリングマシンの言語になりましょう。 明らかに $ H $ は未定ではありません。

$ l={（1,2）：t \ \} \} \ cup \ {（0、t）：t \ not \}} $} 。

明らかに $ l $ は未定です。 $ l $ が決定された場合、チューリングマシン $ m $ for $ L $ はまた、 $を決定するTuring Machine $ m '$ の存在を意味します。 h $ 。 $ m '$ 入力 $ t $ をシミュレート $入力 $（1、t）$ を入力したm $ 。

また、チューリングマシンの場合、 $ t $ 、および $ x \ {0,1 \} $ < /スパン>私たちは持っています： $$ （x、t）\ in l \ iff（1-x、t）\ nではなく、l \ iff（1-x、t）\ in \ overline {l}。 $$

これは、与えられた単語が有効なチューリングマシンをエンコードするかどうかを決定できるという事実と組み合わせることで、 $ l $ が $ \ overline {l} $ 。