这是alpha转换。虽然我已经完成了这个，但我不太确定这是否是正确的答案。
λ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)
这是正确答案吗？
答案 0 :(得分：1)
你犯了两个错误。使用时，粗体变量不在范围内：
λxy。（（λx1y1。x1）x（（λx2。x2） y1 ））（（λx3y2。y2）（（λy3.y3） x3 ）y）