Corrado B\"ohm once observed that if $Y$ is any fixed point combinator (fpc), then $Y(\lambda yx.x(yx))$ is again fpc. He thus discovered the first "fpc generating scheme" -- a generic way to build new fpcs from old. Continuing this idea, define an \emph{fpc generator} to be any sequence of terms $G_1,\dots,G_n$ such that $$Y \text{ is fpc } \Longrightarrow YG_1\cdots G_n \text{ is fpc}$$ In this contribution, we take first steps in studying the structure of (weak) fpc generators. We isolate several classes of such generators, and examine elementary properties like injectivity and constancy. We provide sufficient conditions for existence of fixed points of a given generator $(G_1,..,G_n)$: an fpc $Y$ such that $Y = YG_1\cdots G_n$. We conjecture that weak constancy is a necessary condition for existence of such (higher-order) fixed points. This generalizes Statman's conjecture on the non-existence of ``double fpcs'': fixed points of the generator $(G) = (\lambda yx.x(yx))$ discovered by B\"ohm.
翻译:Corrado B\\"ohm"曾经观察到,如果$Y是任何固定点组合器(fpc),$Y (\lambda yx.x(yx)) $再次是 fpc。 因此,他发现了第一个“ fpc 生成方案 ” 。 这是从旧的创建新 fpc 生成器的通用方法 。 我们继续这个想法, 定义一个基本特性, 比如 $G_ 1,\ dots, G_n$, 例如$Y\ text{ 是 fpc}\ longrightrow YG_ 1\ cdots G_n\ text{ $ $。 我们为特定发电机的固定点的存在提供了足够的条件 $( G_ 1, G_ n) 美元 发现 美元 : 美元= YG_ xxx 硬值的固定点 。 这个固定点是普通的固定点 。