单项选择题

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