【正文】 其中 U是集合， P(U)表示 U的冪集 – 集合 X?U是 F封閉的 當(dāng)且僅當(dāng) F(X) ?X – 集合 X?U是 F致密的 當(dāng)且僅當(dāng) X ? F(X) – 定義 ?(X)和 ?(X) ?(X) = ? {X | F(X) ? X} ?(X) = ? {X | X ? F(X)} 第 3章 控制流分析 ? Tarski定理 – 集合 X?U是 F封閉的 當(dāng)且僅當(dāng) F(X) ?X – 集合 X?U是 F致密的 當(dāng)且僅當(dāng) X ? F(X) – 定義 ?(X)和 ?(X) ?(X) = ? {X | F(X) ? X} ?(X) = ? {X | X ? F(X)} – 引理 ?(X)是最小的 F封閉集合 ?(X)是最大的 F致密集合 第 3章 控制流分析 ? Tarski定理 根據(jù)對偶性，只證明一種情況。(3)除此以外， A?不含其它元素 余歸納法 – 迭代規(guī)則 (循環(huán)條件 )，最大化條件 – 流可以通過余歸納法來定義 (1) 若 t是 A上的流且 a?A，則 (a,t)也是 A上的流； (2) A上的流集是滿足上述規(guī)則的最大集合 第 3章 控制流分析 ? 大步操作語義 和 小步操作語義 的區(qū)別 – 大步操作語義 – 小步操作語義 ?S1, ?? ? ?1 ?S2, ?1? ? ?2 ?S1。 S2, ??? ?S1, ?? ? ?? ?S1。 S2, ?? ? ?S2, ??? 第 3章 控制流分析 ? 規(guī)范 ?s和 ?的區(qū)別 – ?s和 ?的區(qū)別主要在子句 [fn]