Verwirrung des Anhaltensproblems

Question

zeigen, dass das folgende Problem lösbar ist

lässt PE-Programm, das ein Programm ermitteln, angehalten wird.

generasacodicetagpre.

Da wir wissen, dass genau einer von ihnen gestoppt wird, wenn 1 dann das Programm X angehalten wird. AnotherWiae-Programm Y wird angehalten.

Dann erstellen wir einen neuen Programmaufruf d

generasacodicetagpre.

sei ein aritrary-Programm.

also, wenn wir d (d, s)

haben

wenn d stehen wird, bleibt d nicht

wenn d nicht hallt, dann bleibt d

es verankert einen Widerspruch als das anhaltende Problem.

Aber die Frage stellte fest, dass es lösbar ist.

Answer 1

, um mit einer wichtigen Seite zu starten Note: Was sind die Eingänge für $ x $ und $ y $ dass sie einhalten werden? Sie müssen einen bestimmten Eingang für die Maschinen angeben, damit die Frage, dass die Frage genau definiert ist (z. B. die Frage, dass die Frage "gegeben ist, $ x, y $ wo Genau einen endet auf $ \ Epsilon $ , finden, wer angehalten hat. "Oder vielleicht" gegeben ... wo genau man sich immer als Eingang an sich anhält ... " )

Ich sehe, was dich dort verwirrt hat. Das Problem ist in der Tat lösbar: In $ P $ emulieren sowohl $ x $ und $ y $ und antworten Sie an, wer zuerst gestoppt ist.

Das Problem in Ihrer Lösung ist, dass ein Eingang in $ p $ $ x, y $ wo genau einer von ihnen hält und der andere nicht.

Also, eine ordnungsgemäße Eingabe in $ D $ muss eine ordnungsgemäße Eingabe in $ p $ sein. Beachten Sie jetzt, dass Sie $ D (D, S) $ anrufen. Um sicherzustellen, dass $ D $ eine korrekte Ausgabe zurückgibt, müssen wir ordnungsgemäße Eingaben haben: nur eine der $ D $ < / span> oder $ s $ hält an! Aber ... wenn $ s $ hält, stoppt dann Ihr $ D $ auch hält und Dies ist keine ordnungsgemäße Eingabe für $ P $ , und daher auch keine ordnungsgemäße Eingabe für $ D $ . Somit können Sie sich nicht auf die Ausgabe von $ d (d, s) $ nicht verlassen, da es möglicherweise nicht korrekt ist