1.4.2 算法的特性

算法具有以下五个特性。

（1）有穷性。有穷性指的是算法在执行有限的步骤之后，自动结束而不会出现无限循环，并且每一个步骤在可接受的时间内完成。

（2）确定性。算法的每一步都具有确定的含义，不会出现二义性。算法在一定条件下，只有一条执行路径，也就是相同的输入只能有一个唯一的输出结果，而不会出现输出结果的不确定性。

（3）可行性。算法的每一步都必须是可行的，也就是说，每一步都能够通过执行有限次数完成。

（4）输入。算法具有零个或多个输入。

（5）输出。算法至少有一个或多个输出。输出的形式可以是打印输出也可以是返回一个或多个值。