4.2 递归函数和不动点算子 函数的不动点 若F:σ→σ是类型σ到它自身的函数，则F的不动 点是使得F(c)=x的值x:σ 例如，自然数上 -平方函数的不动点有0和1 一恒等函数有无数个不动点 一后继函数没有不动点4.2 递归函数和不动点算子 • 函数的不动点 若F : →是类型 到它自身的函数，则F的不动 点是使得F (x) = x的值x : 例如，自然数上 – 平方函数的不动点有0和1 – 恒等函数有无数个不动点 – 后继函数没有不动点