什么是算法？算法有何特征？

一个算法，就是一个有穷规则的集合，其中之规则规定了一个解决某一特定类型问题的运算序列。
算法的形式化定义：算法是一个四元组，即（Q，I，Ω，F）。
其中：
（1）Q是一个包含子集I和Ω的集合，它表示计算的状态；
（2）I表示计算的输入集合；
（3）Ω表示计算的输出集合；
（4）F表示计算的规则，它是一个由Q到它自身的函数，且具有自反性，即对于任何一个元素q∈Q，有F（q）=q。
算法的重要特性：
（1）有穷性：一个算法在执行有穷步之后必须结束。也就是说，一个算法，它所包含的计算步骤是有限的。
（2）确定性：算法的每一个步骤必须要确切地定义。即算法中所有有待执行的动作必须严格而不含混地进行规定，不能有歧义性。
（3）输入：算法有零个或多个的输入，即在算法开始之前，对算法最初给出的量。
（4）输出：算法有一个或多个的输出，即与输入有某个特定关系的量，简单地说就是算法的最终结果。
（5）能行性：算法中有待执行的运算和操作必须是相当基本的，换言之，它们都是能够精确地进行的，算法执行者甚至不需要掌握算法的含义即可根据该算法的每一步骤要求进行操作，并最终得出正确的结果。

略