Lambda演算：alpha转换
这是阿尔法转换。虽然我已经完成了，但我不太确定这是否是一个正确的答案Lambda演算：alpha转换,lambda,alpha,lambda-calculus,Lambda,Alpha,Lambda Calculus,这是阿尔法转换。虽然我已经完成了，但我不太确定这是否是一个正确的答案 λ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) 这是正确答案吗？您犯了两个错误。使用粗体变量时，这些变量不在范围内： λxy.（（λx1 y1.x1）x（（λx2.x2）y1）（（λx3 y2.y2）（（λy3.y3）x3）y）谢
λ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)
这是正确答案吗？您犯了两个错误。使用粗体变量时，这些变量不在范围内：
λxy.（（λx1 y1.x1）x（（λx2.x2）y1）（（λx3 y2.y2）（（λy3.y3）x3）y）谢谢你的建议，你能告诉我答案应该是什么吗，因为我对这一点仍然感到有点困惑？谢谢sepp，我也想知道这一点，答案是什么，应该如何改变？λxy.（（λab.a）x（（λc.c）y））（（λdee.e）（（λf.f）x）y）