第3章控制流分析内容摘要：
) = {X | F(X) X} (X) = {X | X F(X)} 第 3章 控制流分析 • Tarski定理 – 集合 XU是 F封闭的 当且仅当 F(X) X – 集合 XU是 F致密的 当且仅当 X F(X) – 定义 (X)和 (X) (X) = {X | F(X) X} (X) = {X | X F(X)} – 引理 (X)是最小的 F封闭集合 (X)是最大的 F致密集合 第 3章 控制流分析 • Tarski定理 根据对偶性，只证明一种情况。 首先证明引理： (X) = {X | X F(X)}是最大 F致密集合 – 最大是明显的 – 证明 每个 Xi都 F致密，则 i Xi也 F致密则可 因为对每个 i有 Xi F(Xi)，则 i Xi i F(Xi) 因为 F单调，则对每个 i有 F(Xi) F(i Xi) 由此可得 iF(Xi) F(i Xi) 由传递性， i Xi F(i Xi)，即 i Xi是 F致密的 第 3章 控制流分析 • Tarski定理 再证明本定理（仍只 证明 一种情况 ）： (X)是 F的最小不动点 (X)是 F的最大不动点 – 令 = (X)，则 是 致密的， F() – 由单调性， F() F(F())，则 F()也致密 – 由 的定义知道 F() – 由 和 F()之间的这两个不等式得 = F() – 不动点都是致密的，因而都包含在 中，所以。阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体)，仅供学习参考。
用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权，请联系我们反馈本站将在三个工作日内改正。