算法的有限性，意味着算法必须能够终止。