这是一个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)
这是正确答案吗？
你犯了两个错误。使用粗体变量时，它们不在范围内：
λx y.（（λx1 y1. x1） x（（λx2. x2） y1）） （（λx3 y2. y2）（（λy3. y3） x3） y）