算法正确的程序
1. 有穷性 ：算法必须在执行有穷步之后结束，不能陷入无限循环。
2. 确定性 ：算法中的每一步骤都必须有确切的含义，不能有歧义性，即对于相同的输入，算法必须产生相同的输出。
3. 可行性 ：算法的每一步骤都必须是有效的，也就是说，算法的每一步骤都能够通过执行有限次数的操作来完成。
4. 输入 ：算法可以有零个或多个输入。
5. 输出 ：算法至少有一个输出，对于相同的输入，算法的输出必须是一致的。
根据以上特性，我们可以判断题目中错误的叙述是：
选项A ：算法正确的程序可以有零个输入。这是正确的，因为算法可以有零个或多个输入。
选项B ：算法正确的程序最终一定会结束。这是正确的，因为算法必须是有穷的，必须在有限步骤内终止。
选项C ：算法正确的程序可以有零个输出。这是错误的，因为算法至少有一个输出。
选项D ：算法正确的程序对于相同的输入一定有相同的结果。这是正确的，因为算法具有确定性。
因此，错误的叙述是 选项C ：算法正确的程序可以有零个输出。
其他小伙伴的相似问题：
算法正确的程序例子有哪些？
如何判断一个程序是否是正确的算法？
算法正确的程序必须满足哪些条件？