math - 活变量分析

Question

我想知道是否有人可以解释我如何通过活性分析工作？

有两个主要的等式在使用：

in[BB] = use[BB] U (out[BB] - def[BB])
out[BB] = U in[s] : for all s ∈ successor[BB]

我不明白第二个等式 - 当右手边以 union 开头时是什么意思？究竟与什么结合？

谢谢

Answer 1

这意味着这out[BB]是它的所有in继承者的集合。将联合运算符放在首位是一种常见的表示法。