[单选题,10分] 算法是由若干条指令组成的有穷序列，而且满足以下性质：（1）输入：有0个或多个输入（2）输出：至少有一个输出（3）确定性：指令清晰，无歧义（4）有限性：指令执行次数有限，而且执行时
A.(1)(2)(3)
B.(1)(2)(4)
C.(1)(3)(4)
D.(1))(2)(3)(4)

---