إذا لم يكن هناك انخفاض من A إلى ب

Question

أنا مواجهة السؤال التالي:

إذا لم يكن هناك $

Answer 1

اللغة $ ليس من غير القابل للضرورة إذا سمحنا بأي اختيار تعسف ولكن ثابت من $ B $ . على سبيل المثال مجموعة $ B $ لتكون اللغة الفارغة. اللغة الوحيدة التي يتم تخفيضها مع $ B $ هي $ B $ it self.

من ناحية أخرى، إذا كنت تعني أن هناك موجود لغة $ B $ مثل $ a \ leq_m b $ ، ثم لكل لغة $ $ بغض النظر عما إذا كان من القروض أو لا يوجد مثل هذا $ B $ ، أي اختيار $ B $ ليكون اللغة $ $ لها الذات.

لاحظ أن الطريقة الهادفة الوحيدة لقراءة العبارة، هي إصلاح $ B $ إلى لغة كاملة لفئة اللغات المائدة. بوضوح، يتم إغلاق اللغات الرائعة تحت $ \ leq_m $ تخفيضات، ومع ذلك، لا أعتقد أن لغة كاملة لهذه الفئة معروفة (أو ما إذا كانت هذه اللغة يمكن أن تكون إنشاؤه). ومع ذلك، لمثل هذه اللغة $ B $ ، لغة $ A $ غير صالحة إذا وفقط إذا كان < Span Class="حاوية الرياضيات"> $ a \ leq_m b $ لكل تعريف لغات كاملة.