Turing erkennbar => aufzählbar

Ich erhalte den Beweis, von einem Enumerator zu einer Turing-Maschine zu wechseln (führen Sie den Enumerator weiter aus und prüfen Sie, ob er mit der Eingabe übereinstimmt), aber ich sehe nicht, wie der andere Weg funktioniert.

Gemäß meinen Notizen und dem Buch (Einführung in die Theorie der Berechnung - Sipser) schreiben wir grundsätzlich alle Kombinationen des Alphabets, um den Turing-Enumerator von einer Turing-Maschine zu erhalten. Anschließend führen Sie das TM für diese Eingabe aus. Wenn es das Ausdrucken akzeptiert, ersetzen Sie es durch eine neue Zeichenfolge, die ad infinitum wiederholt wird.

Das Problem, das ich habe, ist sicherlich, dass die Sprache entscheidbar sein muss. Andernfalls könnte es beim dritten Wort in einer Endlosschleife hängen bleiben, die dazu verdammt ist, niemals die gesamte Sprache zu akzeptieren oder abzulehnen und mit Sicherheit niemals die ganze Sprache auszudrucken.

Was vermisse ich?

computability turing-machines intuition

— T. Kiley
quelle

$M$ $M$ $M$ $M$

$\langle w_1, S_1\rangle \# \cdots \# \langle w_n, S_n\rangle$ $w_i$ $S_i$ $M$ $w_i$ $n$ $M$ $w_i$

Führen Sie nun die folgende Schleife aus

$w\in\Sigma^*$ $S$ $M$ $\# \langle w, S\rangle$
$M$
$M$ $M$
$M$ $M$
Gehe zu Schritt 1.

$w\in\Sigma^*$ $M$

— Dave Clarke
quelle

aka "Taubenschwanz".

— Kaveh