El problema de la detención no se puede resolver en el caso general. Es posible proponer reglas definidas que restrinjan las entradas permitidas y ¿se puede resolver el problema de detención para ese caso especial? Por ejemplo, parece probable que un lenguaje que no permita bucles, por ejemplo,...