单项选择题

A.具有0个或多个输入量
B.至少产生一个输出量(包括参量状态)
C.在执行了有穷步的运算后终止(有穷性)
D.每一步运算有确切的定义(确定性)