A.算法必须有明确的结束条件，即算法应该能够结束，此即算法的有穷性。
B.算法的步骤必须要确切地定义，不能有歧义性，此即算法的确定性。
C.算法可以有零个或多个输入，也可以有零个或多个输出，此即算法的输入输出性。
D.算法中有待执行的操作必须是相当基本的，可以由机器自动完成，并且算法应能在有限时间内完成，此即算法的可行性。