Đánh giá tính toán Lambda

Tôi biết đây là một câu hỏi đơn giản nhưng ai đó có thể chỉ cho tôi cách giảm xuống λ x . λ y . y .$(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y)$$\lambda x. \lambda y. y$

Lý do mà giảm xuống λ x . λ y . y và không đến λ x . λ y . λ x . λ y . y là y trong cơ thể của λ y . λ x . λ 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$ đề cập đến đối số của lambda thứ ba, không phải là đầu tiên.$\lambda y.\lambda x.\lambda y.y$

Nếu bạn đổi tên các đối số để có tên riêng, sẽ được viết là λ y 1 . λ x . λ y 2 . y 2 . Vì vậy, nếu bạn áp dụng hàm đó cho đối số, điều đó có nghĩa là mọi lần xuất hiện của y 1 trong λ x . λ y 2 . y 2 nên được thay thế bằng đối số. Tuy nhiên y $\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$hoàn toàn không xuất hiện trong biểu thức đó, vì vậy đối số chỉ đơn giản là bị bỏ qua và kết quả chỉ là .$\lambda x.\lambda y_2.y_2$