1)有穷性(Finiteness) 算法的有穷性是指算法必须能在执行有限个步骤之后终止 2)确切性(Definiteness) 算法的每一步骤必须有确切的定义； 3)输入项(Input) 一个算法有0个或多个输入,以刻画运算对象的初始情况,所谓0个输入是指算法本身定出了初始条件； ...