Al ejecutar un programa, este puede terminar después de un número finito de pasos o puede no terminar nunca.