在λ 演算或组合子逻辑中, 不动点组合子是满足如下条件的表达式 Z:n(Z n)=Z n在重写系统的视角下, 一般表现为如下的重写关系:(Z n)→n(Z n).Y 组合子是最著名的不动点组合子.
构造
在 λ 演算中
在 λ 演算中, Y 组合子为如下表达式: λn. (λs. n(s s)) (λs. n(s s))也可以从映射的视角看待: Y(n)::=(λs. n(s s)) (λs. n(s s))
在组合子逻辑中
在部分组合代数 A 中, Y 组合子为如下表达式: s(k(sii))(s(s(ks)k)(k(sii)))其中 i=skk.
用法
(...)