Тюрінг впізнаваний => незліченний

Я отримую доказ переходу від перечислювача до машини Тьюрінга (продовжуйте працювати перелік і дивіться, чи відповідає він вводу), але я не бачу, як працює інший спосіб.

Згідно з моїми примітками та книгою (Вступ до теорії обчислень - Сіпсер), щоб отримати Тюрінг-перелік з машини Тьюрінга, ми в основному пишемо всі комбінації алфавіту. Потім ви запускаєте TM на цьому вході, якщо він приймає роздрукувати його, замінюєте новим рядком повторення рекламного нескінченного.

Проблема, яку я маю, - це, безумовно, що це вимагає вирішення мови. Інакше воно може застрягнути на третьому слові в якомусь нескінченному циклі, приреченому ніколи не приймати чи відхиляти і, звичайно, ніколи не роздруковувати цілою мовою.

Що я пропускаю?

computability turing-machines intuition

— Т. Кілі
джерело

$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$

Тепер запустіть наступний цикл

$w\in\Sigma^*$ $S$ $M$ $\# \langle w, S\rangle$
$M$
$M$ $M$
$M$ $M$
Перехід до кроку 1.

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

— Дейв Кларк
джерело

він же "голуб-хвостик".

— Каве