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