如何通过S组合器或其他人获得Y组合器？

Question

我有等式Y = FY（定点方程）。如何通过其他组合器（特别是具有第一个固定参数的S-组合器）获得F的等式？

Answer 1

没有办法做到这一点 - 考虑函数 g 和 g g g 。那么 Y（g）和 Y（g∘g）都是 g（g（g（g（g（...）））））< / em>，所以一般情况下无法从 Y（F）转到 F 。