算法: 一个有穷的指令集,这些指令为解决某一特定任务规定了一个运算序列,其具有如下特性: (1)输入 有0个或多个输入 (2)输出 有一个或多个输出(处理结果) (3)确定性 每步定义都是确切、无歧义的 (4)有穷性 算法应在执行有穷步后结束 (5)有效性 每一条运算应足够基本