计算机算法具有以下性质：
有穷性：
算法必须包含有限的操作步骤，并且能够在有限时间内终止。如果一个算法需要无限时间才能完成，那么它就不是有效的算法。
确定性：
算法的每一步骤都必须是明确无误的，不能存在歧义。对于相同的输入，算法应当产生相同的输出结果。
输入项：
算法可以有一个或多个输入，这些输入是从外界获取的必要信息，用于描述运算对象的初始状态。
输出项：
算法必须有一个或多个输出，这些输出反映了算法对输入数据加工处理后的结果。
有效性：
算法的每一步骤都应当能够在有限时间内完成，并且得到一个确定的结果。这意味着算法中的每个计算步骤都是可以被分解为基本可执行的操作步骤。
这些性质共同定义了计算机算法的基本特征，确保了算法的正确性、可靠性和实用性。满足这些性质的算法能够在各种应用场景中有效地解决问题。