程序与算法相比，可以不满足下列__________特性。 A．每一步操作都是可执行的(能行性) B．至少产出一个输出量（包括参量状态的改变） C．在执行了有穷步的操作后终止（有穷性） D．每一步操作必须有确切的定义（确定性）