A에서 B까지의 감소가없는 경우

Question

다음과 같은 질문에 직면 해 있습니다 :

$

Answer 1

언어 $ a $ 은 임의로 $ b $ 예를 들어 $ b $ 을 빈 언어로 설정합니다. $ B $ 에서는 $ B $

입니다.

다른 한편으로는 $ b $ ( $ a \ leq_m b $ , 각 언어 $ a $ 에 관계없이 $ B $ , 즉 $ b $ 을 언어 $ a $ 자체로 선택하십시오.

문을 읽는 유일한 의미있는 방법은 $ b $ 을 아마도의 클래스에 대해 완료하는 언어로 수정하는 것입니다. 그러나 $ \ leq_m $ 이 클래스의 완전한 언어가 알려져 있거나 그러한 언어가 될 수 있는지 여부를 알 수 없다고 생각하지 않는다고 생각합니다. 구성된). 그러나 이러한 언어 $ b $ 언어 $ a $ 은 < SPAN 클래스="수학 용기"> $ a \ leq_m b $ 전체 언어의 정의 당