尽管算法的含义与程序非常相似，但是二者还是有区别的。首先，一个程序不一定满足有穷性，因此它不一定是算法。例如，系统程序中的操作系统，只要整个系统不遭到破坏，它就永远不会停止，即使没有作业要处理，它仍处于等待循环中，以等待一个新作业的进入。因此操作系统就不是一个算法。其次，程序中的指令必须是计算机可以执行的，而算法中的指令却无此限制。如果一个算法采用机器可以执行的语言来书写，那么它就是一个程序。