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