Me pregunto lo siguiente reducción es correcta.
Estoy tratando de mostrar que el problema de la "PRINT_BLANK" no es decidable.
Entrada: (codificación de) máquina de Turing M. Pregunta: ¿la máquina nunca tipos de "en blanco" en la raya cuando se ejecuta en x?
Un intento de reducción: $AcceptProblem \leq PrintBlank: f(\langle M,x\rangle)= M'.$
Dado $M$$x$, construiremos $M'$: Para una entrada de $y$ $M'_x$, $M'_x$ simula el funcionamiento de M $w$. si $M$ acepta $w$, $M'_x$ escribe "en blanco", y acepta, y, de lo contrario, escribe $x$ sí mismo en la cinta y la rechaza.
Alguna ayuda?
Gracias!
