1、有穷性(Finiteness):算法的有穷性是指算法必须能在执行有限个步骤之后终止; 2、确切性(Definiteness):算法的每一步骤必须有确切的定义; 3、输入项(Input):一个......