Question

我正在努力学习和理解lambda演算减少的工作原理。我一直在减少一些表达，我遇到了这个：

(λ x . x (λ x . λ y . x))

我已将其减少到：

(λ x . λ y . x)

但是，我不知道它是否处于正常状态，或者可以减少更多。

Answer 1

第一个表达式不能进一步减少，因为应用于另一个术语的唯一术语是绑定（因此未定义）变量。您的缩减无效，因为x可能是任何内容，因此我们不知道它会对(λ x . λ y . x)做什么。