Lambda演算 - 为什么不能在这里进行另一次beta减少？

Question

我被告知这个词

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

已经处于正常状态 - 但我不明白为什么。无法在此状态下再次进行beta减少，并将y中(λy.z x)的所有出现次序替换为(λy.y z)，以便评估为：

(z (λy.z x) (λy.y z)) ==> (z z x)

Answer 1

应用程序通常被认为是左关联的。也就是说，

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

不是

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

是

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

要求z的值为beta-reduced。