输入(Input) 算法可以有0个或多个输入,用来说明对象的初始值,其中的0的输入的意思是指算法自己已经定出了初始条件 输出(Output) 算法中必须有1或多个输出,因为输出是用来说明数据处理后的结果,如果一个算法没有了输出,就失去了存在的意义 确定性(Definiteness) 算法中的每一步都有确定的含义,不会出现歧义(也称为明确性) 有穷性(Finiteness) 算法在执行了锁设置好的步骤后,会自动结束,不会出现无限循环的情况 可行性(Effectiveness) 算法的每一步都是可执行的,也就是说每一步都可以通过有限的循环执行完成