Lambda微積分 - 爲什麼不可能在這裏做另一個beta測試？

Question

有人告訴我，術語

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

已經在它的正常形式 - 但我不明白爲什麼。無法一個再拍的β-減少在這種狀態下，並通過(λy.y z)取代y所有出現在長期(λy.z x)，所以它會評估爲：

(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對β-減少值。