算法中的每一个步骤都必须是有明确意义的，不允许有模棱两可的解释，也不允许有多义性。算法的这个性质称为______。