单项选择题

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