有人告诉我这个词
(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)
有人告诉我这个词
(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)