无歧义;有限性：算法中每条指令的执行次数有限，执行每条指令的时间也有限;输出：至少有一个输出