Aún no tenemos significados para "verificador de terminación".
1Para resolver esto, deberíamos hacer uso de un verificador de terminación, si es que existe alguno.
2¿Cómo podemos probar que el verificador de terminación es imposible?
Esta colocación está formada por: