下面定义某些术语 程序变量集的定义: 个程序使用两个变量集:数据变量由程 序员声明用来保存数据值的变量。 ■控制变量是保存控制信息的变量,它们不 需要显式说明。 口控制变量保存的是有关下一步应执行什么操 作的信息。 数据变量集和控制变量集两者的合集形成 了程序变量集。 哈尔滨工业大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院 ◼ 下面定义某些术语 ◼ 程序变量集的定义： ◼ 一个程序使用两个变量集：数据变量由程 序员声明用来保存数据值的变量。 ◼ 控制变量是保存控制信息的变量，它们不 需要显式说明。 ❑ 控制变量保存的是有关下一步应执行什么操 作的信息。 ◼ 数据变量集和控制变量集两者的合集形成 了程序变量集
配对集的定义: 口在任何时候,一个程序的每个数据或控制 变量需与一个值配为一对,该值可能是一 个未定义的特殊值。 口在时间t时所有(数据变量,数据值)的配 对集定义了时间t的程序的数据状态。 口类似地,时间t的所有(控制变量,控制值) 配对集定义了时间t的程序的控制状态。 因此,时间t的程序状态是t时间的数据状 态和控制状态的和。 哈尔滨工业大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院 ◼ 配对集的定义： ❑ 在任何时候，一个程序的每个数据或控制 变量需与一个值配为一对，该值可能是一 个未定义的特殊值。 ❑ 在时间t时所有(数据变量，数据值)的配 对集定义了时间t的程序的数据状态。 ❑ 类似地，时间t的所有(控制变量，控制值) 配对集定义了时间t的程序的控制状态。 ❑ 因此，时间t的程序状态是t时间的数据状 态和控制状态的和