3

有人告诉我这个词

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

已经处于正常形式 - 但我不明白为什么。不能在这种状态下进行另一个 beta-reductiony并将术语中所有出现的 替换(λy.z x)(λy.y z),以便它评估为:

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

1 回答 1

3

应用程序通常被认为是左关联的。那是,

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

不是

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

这是

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

这将需要zβ-reduce 的值。

于 2013-07-07T11:01:18.820 回答