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

あなたは2つの間違いを犯しました。太字の変数は、使用する場合はスコープ外です。

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

于 2012-10-05T16:45:58.890 に答える