算法和程序的区别在于：程序不一定能满足( )。
选项A：每一个运算有确切定义
选项B：具有0个或多个输入量
选项C：至少产生一个输出量（包括状态的改变）
选项D：在执行了有穷步的运算后自行终止（有穷性）
正确答案：选项D