ラムダ計算の評価

私はこれが簡単な質問であることを知っていますが、誰かが私にその方法を示すことができます $(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y)$ に減少する $\lambda x. \lambda y. y$。

その理由 $(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y)$ に減少する $\lambda x. \lambda y. y$ そしてしない $\lambda x. \lambda y.\lambda x.\lambda y.y$ それは $y$ の体に $\lambda y.\lambda x.\lambda y.y$ 最初ではなく、3番目のラムダの引数を参照します。

引数の名前を別の名前に変更すると、 $\lambda y.\lambda x.\lambda y.y$ と書かれる $\lambda y_1.\lambda x.\lambda y_2.y_2$。したがって、その関数を引数に適用すると、$y_1$ に $\lambda x.\lambda y_2.y_2$引数で置き換える必要があります。しかしながら$y_1$ その式にはまったく現れないので、引数は単に無視され、結果は $\lambda x.\lambda y_2.y_2$。