第3章控制流分析-文庫(kù)吧
2025-09-07 13:42 本頁(yè)面
【正文】 (?) (n = 0, 1, …) – F0 (?) = ? (表示處處無(wú)定義的函數(shù) ) – F1 (?) = F(F0 (?)) = (? f. ?n. if n = 0 then 1 else n ? f(n ? 1) end ) ? = ?n. if n = 0 then 1 else n ? ?(n ? 1) end = {?0, 0!?} 第 3章 控制流分析 ? 函數(shù)最小不動(dòng)點(diǎn)的計(jì)算 – 例： F ? ? f. ?n. if n=0 then 1 else n ? f(n ? 1) end – lfp(F) = ? Fn (?) (n = 0, 1, …) – F2 (?) = F(F1 (?)) =(? f. ?n. if n=0 then 1 else n ? f(n ?1)end)F1 (?) =?n. if n = 0 then 1 else n ? F1(?) (n ? 1) end = {?0, 0!?, ?1, 1!?} – 依次逐步計(jì)算可得： ?, {?0, 0!?}, {?0, 0!?, ?1, 1!?}, {?0, 0!?, ?1, 1!?, ?2, 2!?}, … (構(gòu)成一個(gè)上升鏈 ) – 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封閉的 當(dāng)且僅當(dāng) F(X) ?X – 集合 X?U是 F致密的 當(dāng)且僅當(dāng) X ? F(X) – 定義 ?(X)和 ?(X) ?(X
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1