实现自动计算的必要条件

程序一冶嚏型正确，包括无语法错误、逻辑错误，完整实现了你的算法。

一个算法必须具备以下性质：

（1）算法首先必须是正确的，即对于任意的一组输入，包括合理的输入与不合理的输入，总能得到预期的输出。

如果一个算法只是对合理的输入才能得到预期的输出，而在异常情况下却无法预料输出的结果，那么它就不是正确的。

（2）算法必须是由一系列具体步骤组成的，并且每一步都能够被计算机所理解和执行，而不是抽象和模糊的概念。

（3）每个步骤都有确定的执行顺序，即上一步在哪里；下一步是什么，都必须明确，无二义性。

（4）无论算法有多么复杂，都必须在有限步之后结束并终止运行；即算法的步骤必须是有限的。在任何情况下，算法都不能陷入无限循环中。

一个问题的解决方案可以有多种表达方式；但只有满足以上4个条件的解才能称之为算法。