第3章控制流分析-閱讀頁
2024-10-31 13:42本頁面
【正文】 n 1 else n ? F1(?) (n ? 1) end = {?0, 0!?, ?1, 1!?} – 依次逐步計算可得： ?, {?0, 0!?}, {?0, 0!?, ?1, 1!?}, {?0, 0!?, ?1, 1!?, ?2, 2!?}, … (構(gòu)成一個上升鏈 ) – lfp(F) = ? Fn (?) = {?0, 0!?, ?1, 1!?, ?2, 2!?, … } 第 3章 控制流分析 ? Tarski定理 – 令 F : P(U) ? P(U)是單調(diào)函數(shù) 其中 U是集合， P(U)表示 U的冪集 – 集合 X?U是 F封閉的 當且僅當 F(X) ?X – 集合 X?U是 F致密的 當且僅當 X ? F(X) – 定義 ?(X)和 ?(X) ?(X) = ? {X | F(X) ? X} ?(X) = ? {X | X ? F(X)} 第 3章 控制流分析 ? Tarski定理 – 集合 X?U是 F封閉的 當且僅當 F(X) ?X – 集合 X?U是 F致密的 當且僅當 X ? F(X) – 定義 ?(X)和 ?(X) ?(X) = ? {X | F(X) ? X} ?(X) = ? {X | X ? F(X)} – 引理 ?(X)是最小的 F封閉集合 ?(X)是最大的 F致密集合 第 3章 控制流分析 ? Tarski定理 根據(jù)對偶性，只證明一種情況。 (2)若 a?A且 x?A?, 則 ax?A? 。 S2, ?? ? ?2 ?S1, ?? ? ?S1?, ?? ? ?S1。 S2, ??? ?S1, ?? ? ??
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1