第3章控制流分析-在線瀏覽
2024-12-14 13:42本頁面
【正文】 ) = 階乘函數(shù) – 該函數(shù)只有唯一的不動點 階乘函數(shù) 第 3章 控制流分析 ? 函數(shù)的最小不動點 – 求解含函數(shù)變量 f 的方程 f = ?n. if n=0 then 1 else if n = 1 then f(3) else f(n ? 2) end – 相應高階函數(shù)有無數(shù)個不動點 當 n是偶數(shù)時，結(jié)果是 1 當 n是奇數(shù)時，結(jié)果是 a （ a可以任取 ） – 最小不動點 n為偶數(shù)時 , 結(jié)果是 1。 n為奇數(shù)時 , 結(jié)果未定義 第 3章 控制流分析 ? 函數(shù)最小不動點的計算 – 例： F ? ? f. ?n. if n=0 then 1 else n ? f(n ? 1) end – lfp(F) = ? Fn (?) (n = 0, 1, …) – F0 (?) = ? (表示處處無定義的函數(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ù)最小不動點的計算 – 例： 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 the
教學課件相關(guān)推薦
鄂ICP備17016276號-1