認識可能なチューリング=>列挙可能

列挙子からチューリングマシンへの移行の証明を取得します（列挙子を実行し続け、それが入力と一致するかどうかを確認します）。

私のメモと本（計算理論入門-Sipser）によると、チューリングマシンからチューリング列挙子を取得するには、基本的にすべてのアルファベットの組み合わせを記述します。次に、この入力でTMを実行し、それが出力を受け入れる場合は、新しい文字列の繰り返し広告を無限に置き換えます。

私が抱えている問題は確かにこれは言語が決定可能である必要があります。そうしないと、受け入れたり拒否したりせず、言語全体を出力することが決してない運命にあるいくつかの無限ループの3番目の単語にスタックする可能性があります。

何が欠けていますか？

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

次のループを実行します

1. $w\in\Sigma^*$$S$$M$$\# \langle w, S\rangle$
2. $M$
3. $M$$M$
4. $M$$M$
5. ステップ1に進みます。

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