计算机的有穷性是指 算法必须在执行有限个步骤之后终止。这意味着算法不能是无限的，它应该在有限的步骤内完成，并且最终给出结果。如果一个算法需要无限的时间或步骤才能结束，那么它就不被认为是一个有效的算法。
有穷性是算法的基本特性之一，它确保了算法在有限的资源（如时间和空间）内能够完成预定的任务。算法的每一步都应该是明确的，不含糊或模棱两可，以确保算法的唯一性和可预测性。
需要注意的是，有些算法，如操作系统，可能看起来是“无限”运行的，但实际上它们是在执行有限的操作步骤，只是这些步骤可能非常长，或者它们在等待某些事件（如用户输入）的发生。然而，从用户的角度来看，操作系统可能表现为一直运行，但实际上它仍然是在有限的步骤内执行的。