单项选择题

程序是算法用某种程序设计语言的具体实现,其性质可以不满足算法的()性质。

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