---
title: "Y-Combinator"
type: concept
tags: []
---

## Definition
Y组合子（Y-Combinator）是 λ-calculus 中的不动点组合子，用于在无名字 λ-calculus 中表达递归函数。其标准定义为：
$$Y \equiv \lambda f.(\lambda x.f(x,x))(\lambda x.f(x,x))$$

## Role in Recursive Self-Optimizing Systems
在递归自我优化框架中，Y 组合子用于表达稳定生成器 $G^*$ 的自引用不动点方程：

定义单步更新函数：
$$\text{STEP} \equiv \lambda G.\; (M\;G)\big((O\;(G\;I));\Omega\big)$$

稳定生成器通过不动点组合子获得：
$$G^* \equiv Y\;\text{STEP}$$

展开验证不动点性质：
$$Y\;\text{STEP} = (\lambda x.\text{STEP}(x,x))(Y\;\text{STEP}) = \text{STEP}(Y\;\text{STEP}) = \text{STEP}(G^*)$$

这精确表达了"生成器的输出就是它自身的输入"这一自引用性质。

## Key Insight
Y 组合子将**递归的语义**（"调用自身"）转化为**组合子的语法**（无自由变量的 λ-项），从而在纯数学结构中捕捉了自我改进系统的本质。

## Sources
- [[a-formalization-of-recursive-self-optimizing-generative-systems]]

## Connections
- [[Self-Referential Computation]] ← implemented_by ← [[Y-Combinator]]
- [[Fixed-Point Semantics]] ← computes ← [[Y-Combinator]]