algorithm - 关于算法定义的确定性？

Question

我正在阅读有关算法定义的说明，它有两个要求，我不知道它们之间有什么区别

Definiteness: Every instruction should be clear and unambiguous. (I found a source with exactly the same statement)

根据我的资源，有 5 个要求:输入、输出、明确性、有限性、有效性。除了Definiteness，其他4个我都能理解。如果以上不准确，谁能提供一些更好的定义？

从上面我只怀疑至少有两个微妙之处应该考虑......

---

从以下答案得出结论:definedness = defined(clear) + only_one(unambiguous)。

Answer 1

算法应该清晰明确。它的每个步骤(或阶段)及其输入/输出都应该清楚，并且必须只有一个含义。

例如，如果一个步骤是将两个整数相加，我们必须同时定义“整数”和“加法”运算:例如，我们不能使用相同的符号在一处表示加法，在另一处表示乘法。