¡No! (o ¿si?)

Trabajando en una aplicación para mis transformaciones entre programas, acabo de encontrar una nueva definición mucho más sencilla y que al parecer se comporta mucho mejor que la transformación original.
Esto significa, por el lado malo, que todo un capítulo de mi tesis se iría por el desagüe, pues ya no sería necesario. Por el lado bueno, puede ser más fácil convencer a la gente de la importancia del método, dada su mayor simplicidad y su mejor comportamiento. Como ejemplo, para el método original era indecidible si terminaba o no; esta nueva transformación termina siempre, dadas unas condiciones limitadas.
Ahora a dedicar el viernes a revisar definiciones y pruebas y decidir qué hacer con esto.