算法的一般性质包括: (1) 通用性 对于那些符合输入类型的任意输入数据,都能根据算法进行问题求解,包保证计算结构的正确性。 (2) 有效性 组成算法的每一条指令都必须是能够被人或机器确切执行的。 (3) 确定性 算法每执行一步之后,对于它的下一步,应该有明确的指示。即,保证每一步之后都有关于下一步动作的指令,不能缺乏下一步指令或仅仅含有模糊不清的指令。 (4) 有穷性 算法的执行必须在有限步内结束。