第3章 控制流分析 。Tarski定理 令F:P(U)→P(U)是单调函数 其中U是集合，P(U)表示U的幂集 集合XSU是F封闭的 当且仅当F)SX 集合XSU是F致密的 当且仅当XsF) -定义X.F)和vX.F X.F)= XFXX vX.F(X)= XIX≤FX)}第3章 控制流分析 • Tarski定理 – 令F : P(U) → P(U)是单调函数 其中U是集合，P(U)表示U的幂集 – 集合XU是F封闭的 当且仅当F(X) X – 集合XU是F致密的 当且仅当X  F(X) – 定义X.F(X)和X.F(X) X.F(X) = {X | F(X)  X} X.F(X) = {X | X  F(X)}