第3章 控制流分析 。Tarski定理 -集合XcU是F封闭的 当且仅当F)二X 集合XSV是F致密的 当且仅当XsFX 定义X.FX)和vX.FX LX.F(X)= XFXEX vX.F(X)= XXE FX 引理 XF)是最小的F封闭集合 vX.F)是最大的F致密集合第3章 控制流分析 • Tarski定理 – 集合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)} – 引理 X.F(X)是最小的F封闭集合 X.F(X)是最大的F致密集合