以下关于算法正确性的叙述中，哪个是错误的？

题目： 以下关于算法正确性的叙述中，哪个是错误的？

A. 算法正确的程序可以有零个输入 B. 算法正确的程序最终一定会结束 C. 算法正确的程序可以有零个输出 D. 算法正确的程序对于相同的输入一定有相同的结果

答案： A

解析：

算法正确的程序必须满足以下条件：

1. 有穷性: 算法必须在执行有限步骤后结束。
2. 确定性: 算法的每一步都必须有明确的定义，不能存在歧义。
3. 输入: 算法可以有零个或多个输入。
4. 输出: 算法至少有一个或多个输出。
5. 有效性: 算法的每一步操作都必须是可执行的。

选项A错误的原因在于，虽然有些算法可以没有明确的输入（例如，输出固定常数的算法），但它们通常需要依赖某些隐含的输入条件或数据才能执行。严格来说，算法必须要有输入才能产生输出。

因此，正确答案为A。