一个程序不一定满足有穷性，例操作系统，只要整个系统不遭破坏，它将永远不会停止，即使没有作业需要处理，它仍处于动态等待中，因此，操作系统不是一个算法；程序中的指令必须是机器可执行的，而算法中的指令则无此限制；算法代表了对问题的解，而程序则是算法在计算机上的特定的实现，一个算法若使用程序设计语言来描述，则它就是一个程序。
