Para resolver esto, deberíamos hacer uso de un verificador de terminación, si es que existe alguno.

¿Cómo podemos probar que el verificador de terminación es imposible?