Algorithm

1. 有限性（Finiteness）：一个算法必须保证执行有限步之后终止。
2. 确切性（Definiteness）： 一个算法的每一步骤必须有确切的定义。算法是描述性的，没有确切的定义无法准确用程序来实现。
3. 输入（Input）：一个算法有零个或多个输入，以刻画运算对象的初始情况，所谓零个输入是指算法本身给定了初始条件。
4. 输出（Output）：解决问题了总要有个结论，所以有一个或多个输出。
5. 可行性（Effectiveness）： 一个算法执行的任何计算步骤都是可以被分解为基本可执行的操作，每个操作都能够在有限时间内完成。