Se puede comprobar si un programa se para ejecutándolo, pero el problema es determinar, tras un tiempo de ejecución, si el programa se ha colgado o es que es un algoritmo “muy largo”.