1、有穷性（Finiteness），算法的有穷性是指算法必须能在执行有限个步骤之后终止。2、确切性(Definiteness)，算法的每一步骤必须有确切的定义。