hola:
el absurdo no es que computa q (?), sino a la función θ, que como sabemos por el teórico, no es computable.
efectivamente, el problema también se podría haber reducido a stop, utilizando más o menos la misma transformación MK, pero usando eval_prog(i,n) en lugar de (i,i).
saludos,
d.-