Ciencias de la Computación

10
Turing reconocible => enumerable

Recibo la prueba de pasar de un enumerador a una máquina de Turing (sigo ejecutando el enumerador y ver si coincide con la entrada) pero no veo cómo funciona la otra manera. Según mis notas y el libro (Introducción a la teoría de la computación - Sipser), para obtener el enumerador de Turing de...