Evaluasi Kalkulus Lambda

Saya tahu ini adalah pertanyaan sederhana tetapi dapatkah seseorang menunjukkan kepada saya caranya direduksi menjadi .$(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y)$$\lambda x. \lambda y. y$

Alasan bahwa berkurang menjadi dan bukan untuk adalah bahwa dalam tubuh mengacu pada argumen dari lambda ketiga, bukan yang pertama.$(\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$

Jika Anda mengganti nama argumen untuk memiliki nama yang berbeda, akan ditulis sebagai . Jadi, jika Anda menerapkan fungsi itu ke argumen, itu berarti bahwa setiap kemunculan di harus diganti dengan argumen. Namun tidak muncul sama sekali dalam ekspresi itu, sehingga argumennya hanya diabaikan dan hasilnya adalah .$\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$