程序的五个特性通常包括以下几点：
有穷性：
一个算法的操作步骤是有限的，不能是无限的。这意味着程序必须在有限的时间内完成其任务，不能陷入无限循环或无休止的计算中。
确定性：
算法中的每一个步骤都要确定的词，不能含糊不清。程序中的指令必须是明确无误的，不能有歧义或多种解释，以确保程序的行为是可预测的。
输入：
执行算法需要输入数据或参数。程序必须明确其需要哪些输入，以便能够正确地执行任务。
输出：
程序需要得出结果。程序的目标是通过其操作产生一个或多个结果，以解决特定问题或完成任务。
有效性：
程序需要有效进行，不出现异常。程序应当能够稳定地运行，并且在遇到错误时能够适当地处理异常情况，以确保最终结果的准确性和可靠性。
这些特性是程序设计和开发中的基本要求，确保了程序能够正确、高效地完成任务。