算法的四个特性包括有穷性、确定性、可行性、输入与输出。有穷性指算法必须能在有限步骤后终止，不能陷入无限循环；确定性要求算法每一步都有明确唯一的含义，不产生二义性；可行性强调算法中每个操作都能通过有限次基本运算实现；输入与输出则规定算法可以有零个或多个输入，但必须至少产生一个输出结果。这四个特性是判断一个计算过程是否构成算法的基本标准，也是编写高效、可靠程序的基础。
【常见问题】
问题1：算法的四个特性中，为什么有穷性是最重要的？
回答1：有穷性确保了算法不会无限运行，是算法能够实际执行并得出结果的前提。如果没有有穷性，即使其他特性具备，也无法在有限时间内解决问题，无法作为有效算法使用。
问题2：算法的四个特性是否要求必须有输入？
回答2：不一定。算法的四个特性中，输入可以是零个（例如计算圆周率到指定精度，无需外部输入），但输出至少需要一个，因为算法必须产生结果。
问题3：如何判断一个算法是否满足“可行性”特性？
回答3：可行性要求算法中的每一步操作都必须在现实计算资源（如内存、时间）的限制下，通过基本的、可实现的指令完成。例如，不能依赖无穷大精度或无限循环的假设，所有操作都应是可执行的。
