生活变量分析

Question

我想知道是否有人能解释我如何通过活体分析来解决这个问题？

使用了两个主要方程式：

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

我不明白第二个等式 - 当右手边以联合开始时是什么意思？联盟到底是什么？

谢谢

Answer 1

这意味着out[BB]是其所有in套接班人的联合。将union运算符放在第一位是a common notation。