配对集的定义: 口在任何时候,一个程序的每个数据或控制 变量需与一个值配为一对,该值可能是一 个未定义的特殊值。 口在时间t时所有(数据变量,数据值)的配 对集定义了时间t的程序的数据状态。 口类似地,时间t的所有(控制变量,控制值) 配对集定义了时间t的程序的控制状态。 因此,时间t的程序状态是t时间的数据状 态和控制状态的和。 哈尔滨工业大学计算机科学与技术学院哈尔滨工业大学计算机科学与技术学院 ◼ 配对集的定义： ❑ 在任何时候，一个程序的每个数据或控制 变量需与一个值配为一对，该值可能是一 个未定义的特殊值。 ❑ 在时间t时所有(数据变量，数据值)的配 对集定义了时间t的程序的数据状态。 ❑ 类似地，时间t的所有(控制变量，控制值) 配对集定义了时间t的程序的控制状态。 ❑ 因此，时间t的程序状态是t时间的数据状 态和控制状态的和