第3章 控制流分析 函数最小不动点的计算 -例：F 入f入n.ifn=0then1 else n×fn-l)〉 end -lfp(F)= Fm(L)(n=0,1,… -F2(L=F(F(L =(入f入n.ifn=0then1 else n×n-l)end)F(L) =入n.ifn=0then1 else n×F(L)(n-l)end ={K0,0),〈1,1} 依次逐步计算可得：⊥，{K0,0)},{《0,0),〈1,1}， {K0,0),〈1,1，〈2,2}，.（构成一个上升链第3章 控制流分析 • 函数最小不动点的计算 – 例：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!} – 依次逐步计算可得：⊥,{0, 0!}, {0, 0!, 1, 1!}, {0, 0!, 1, 1!, 2, 2!}, … (构成一个上升链) – lfp(F) = Fn (⊥) = {0, 0!, 1, 1!, 2, 2!, …}