算法是由若干条指令组成的有穷序列，而且满足以下性质（） （1）输入：有0个或多个输入 （2）输出：至少有一个输出 （3）确定性：指令清晰，无歧义 （4）有限性：指令执行次数有限，而且执行时间有限

• A、（1）（2）（3）
• B、（1）（2）（4）
• C、（1）（3）（4）
• D、（1）（2）（3）（4）