Kann man H_0 auf A_0 reduzieren?
Hallo allerseits! Ich frage mich gerade, ob man die Unentscheidbarkeit des Akzeptanzproblems auf leerem Band beweisen kann, indem man das Halteproblem auf leerem Band auf das Akzeptanzproblem auf leerem Band reduziert. Ich habe mir dafür folgende Reduktion (für eine neue Maschine M_w' in A_0) überlegt: 1. M_w' simuliert M_w 2. Falls M_w hält (oder akzeptiert) soll die neue Maschine M_w' immer akzeptieren Die Frage ist nun, ob sowas in der Art überhaupt möglich ist. Kann man das so leicht beweisen? Ich vermute nämlich einen Denkfehler. Vielen Dank im Voraus!