单项选择题

A.有外部提供的量作为输入
B.产生至少一个量作为输出
C.每条指令是清晰,无歧义的
D.每条指令的执行次数是有限的