参考答案：算法具有

（1）有穷性

（2）确定性

（3）0个或多个输入

（4）1个或多个输出

（5）可行性等特征。

程序是算法的一种描述方式，通过程序可以在计算机上实现算法。