计算机算法具有以下性质：
明确性：
算法的每一步骤都必须清晰无歧义，确保计算机能够准确无误地执行。
输入：
算法可以接收零个或多个输入，以刻画运算对象的初始情况。所谓0个输入是指算法本身定出了初始条件。
输出：
算法应产生一个或多个输出，以反映对输入数据加工后的结果。没有输出的算法是毫无意义的。
有限性：
算法必须在有限的步骤内完成。操作次数不宜过大，不能超过人们事先设定的时间限制。
有效性：
每一步都应是可行的，能够在合理的时间内执行。每个计算步骤都可以分解为基本可执行的操作步骤。
确定性：
算法的每一步都要有确切的意义，不能有二义性。例如，“增加x的值”，并没有说增加多少，计算机就无法执行明确的运算。
可行性：
算法中执行的任何计算步骤都可以分解为基本可执行的操作步骤，即每个计算步骤都可以在有限时间内完成，并得到确定的结果。
输入项：
一个算法有0个或多个输入，以刻画运算对象的初始情况，所谓0个输入是指算法本身定出了初始条件。
输出项：
一个算法有一个或多个输出，以反映输入数据加工后的结果。没有输出的算法是毫无意义的。
稳定性：
算法在处理问题时，对于相同的输入，应产生相同的输出，即具有稳定性。
有穷性：
算法必须在执行有限个步骤后终止。操作次数不宜过大，不能超过人们事先设定的时间限制。
可移植性：
算法应能在不同的计算机系统或平台上运行。
可扩充性：
算法应易于扩展和修改，以适应新的需求或问题。
易读性：
算法的描述应清晰易懂，便于人们理解和维护。
安全性：
算法应具有安全防护措施，防止恶意攻击或数据泄露。
这些性质共同构成了计算机算法的基础，确保了算法的正确性、可靠性和实用性。