第3章 控制流分析 函数最小不动点的计算 -例：F 入fn.ifn=0then1 else n×fn-1) end -lfp(F)= FnL)(n=0,1,…) -0(L)=⊥（表示处处无定义的函数） -F1(L)=F(L) =(入fn.ifn=0then1 else n×fn-l)end)L =入n.ifn=0then1 else n×L(n-l)end ={K0,0)第3章 控制流分析 • 函数最小不动点的计算 – 例：F  f. n. if n=0 then 1 else n  f(n − 1) end – lfp(F) = Fn (⊥) (n = 0, 1, …) – F0 (⊥) = ⊥ (表示处处无定义的函数) – 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!}