math - 生活変数分析

Question

ライブネス分析の作業方法を誰かに説明してもらえないだろうかと思っていました。

使用される主な式は 2 つあります。

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

2 番目の式がわかりません。右辺が和集合で始まる場合、どういう意味ですか? 正確には何との連合ですか？

ありがとうございました

Answer 1

それは、それがその後継者out[BB]のすべての集合の和集合であることを意味します。inユニオン演算子を最初に置くのが一般的な表記法です。