Ottengo la prova di passare da un enumeratore a una Turing Machine (continuo a eseguire l'enumeratore e vedere se corrisponde all'input) ma non vedo come funziona l'altro modo.
Secondo i miei appunti e il libro (Introduzione alla teoria del calcolo - Sipser), per ottenere l'enumeratore di Turing da una macchina di Turing, fondamentalmente scriviamo tutte le combinazioni dell'alfabeto. Quindi si esegue la TM su questo input, se accetta di stamparlo, sostituirlo con una nuova ripetizione di stringa all'infinito.
Il problema che sto avendo è sicuramente questo richiede che la lingua sia decidibile. Altrimenti potrebbe rimanere bloccato sulla terza parola in un ciclo infinito destinato a non accettare o rifiutare e di certo non stampare mai l'intera lingua.
Cosa mi sto perdendo?