Quisiera su ayuda para probar que el lenguaje es decidible iff .
Si , entiendo que es el lenguaje de las máquinas de Turing vacías. Entonces es un problema de , pero eso no es lo que se pregunta, así que me confundí.
Sé que para mostrar , necesito mostrar el problema que también es y .
¿Alguna ayuda? ¡Gracias!