Für jede Sprache

9

Ich versuche, einen Beweis für Folgendes zu finden:

Für jede Sprache gibt es eine Sprache B, so dass A T B, aber B T A ist .ABATBTA

Ich dachte zu lassen seine A T M , aber ich merke , dass nicht alle Sprachen sind Turing - reduzierbar auf A T M , also A T B nicht halten würde. Welche andere Wahl von B habe ich, die es mir ermöglichen würde, ein TM zu schreiben, das ein Orakel für B verwendet , um A zu entscheiden ?BATMATMATBBBA

Vielen Dank!

user1354784
quelle
Wie wäre es mit ? B=NPA
Eugene
3
Denken Sie an das Halteproblem auf Maschinen mit Orakel - Turing . A
Willard Zhan
2
AαΣMαA
1
@DavidRicherby Ja, aber B ist nicht behoben, es wird gebaut, um zu wissen, was A ist. Wenn wir etwas A erhalten, bauen wir ein B, das jedes Orakel TM akzeptiert, mit einem Orakel für dieses spezifische A, das Zeichenfolgen in A akzeptiert. Wenn wir ein anderes A erhalten, ist die Liste der TMs in B anders.
user1354784
1
B=ATM

Antworten:

1

B=AA

Bjørn Kjos-Hanssen
quelle
1

XXX<TX

Tatsächlich wissen wir also, ohne ernsthafte Arbeit zu leisten, dass:

ABBTA

X,YXYXYXYXY={2i:iX}{2i+1:iY}XYTX,Y T

Wir können also das oben Gesagte anwenden, um Folgendes zu erhalten:

ABA<TAB


Dies wirft dann die Frage auf, einen nicht dummen Beweis zu liefern, nämlich einen natürlichen Weg, eine Sprache zu produzieren, die streng komplizierter ist als eine gegebene, und dafür ist der Turing-Sprung gedacht; Es lohnt sich jedoch, dieses nichtkonstruktive Argument allein zu verstehen.

Noah Schweber
quelle