0

这是一个阿尔法转换。虽然我已经完成了这个，但我不太确定这是否是一个正确的答案。

λx y.((λx y.x) x ((λx. x) y)) ((λx y. y)((λy. y) x) y)
=λx y.((λx1 y1. x1) x((λx2. x2) y1)) ((λx3 y2. y2)((λy3. y3) x3) y)

这是一个正确的答案吗？

4

1 回答 1

1

你犯了两个错误。当您使用它们时，粗体变量不在范围内：

λx y.((λx1 y1.x1) x((λx2.x2) y1 )) ((λx3 y2.y2)((λy3.y3) x3 ) y)

于 2012-10-05T16:45:58.890 回答