教材:《编译原理与技术》,2010,高等教育出版社
<行号>: <依赖的变量信息列表> => <被赋值的变量信息>
<依赖的变量信息列表>是由逗号分隔的、本赋值语句所依赖的各变量(即在赋值号右边出现的变量)信息,
若本赋值语句未依赖任何变量,则<依赖的变量信息列表>为 CONST.
(变量名, 行号:值)(变量名, UNDEF)
(变量名, 行号:UNDEF)(变量名, 值)(变量名, UNDEF)
例如,对于如下程序将输出:a = 3; b = a + 4; a = 5; c = a + e; f = b + a; g = c + f;1:CONST =〉(a, 3) 2: (a, 1:3) => (b, 7) 3: CONST =〉(a, 5) 4: (a, 3:5), (e, UNDEF) => (c, UNDEF) 5: (b, 2:7), (a, 3:5) => (f, 12) 6: (c, 4:UNDEF), (f, 5:12) => (g, UNDEF)