程序计算的特点主要包括以下几点：
有穷性：
程序的执行步骤是有限的，必须在执行有限个操作步骤后终止。
确定性：
程序中的每一个步骤都必须有确切的定义，不能含糊不清，以避免歧义。
输入：
程序执行前需要有一些初始数据，这些数据称为输入。输入的数量和类型取决于具体的问题。
输出：
程序执行后需要得出一个或多个结果，这些结果称为输出。输出与输入之间应有特定的关系。
有效性：
程序中的每一步操作都应该有效执行，不能执行无效的操作，例如除以零的操作。
这些特点共同构成了程序计算的基础，确保了程序能够正确、可靠地执行并产生预期的结果。