Es decir, no hay certeza de que el algoritmo termine.