AからBへの削減がない場合

Question

次の質問に直面しています：

$

Answer 1

言語 $ a $ は、任意だが $ b $ 。たとえば、set $ b $ を空の言語にするには、set $ b $ に換算可能な唯一の言語は $ b $ です。

一方、 $ a \ leq_m bの言語 $ b $ が存在する場合$ 、次に、各言語 $ a $ に関係なく、そのような $がありません。 B $ 、すなわち $ b $ を選択して、言語 $ a $ それを選択します。

ステートメントを読み取るための唯一の意味のある方法は、 $ b $ を解決可能な言語のクラスのために完成する言語に修正することです。明らかに、 $ \ leq_m $ の下で閉じられる言語は閉じられますが、このクラスの完全な言語は知られているとは思わない（またはそのような言語ができるかどうか構築した）。ただし、そのような言語 $ b $ の場合、言語 $ a $ は $ A \ LEQ_M B $ 完全な言語の定義ごとに。