算法的每一个步骤都应是确切定义的，不能有二义性，相同的输入应该得到相同的输出，这是算法的