3622
правки
Изменения
м
→Решение
* аппликация левоассоциативна: a b c d <tex> \Rightarrow </tex> ((a b) c) d
* сокращения раскрываются во вложенные лямбды (сразу с расставлением скобок): λ a b c . M <tex> \Rightarrow </tex> λ a . (λ b . (λ c . (M)))
Важно: тело абстракции забирает всё до конца той скобки, в которую заключенозаключена.
Итого: ((((λ a . (λ b . ((λ c . (λ d . (λ e . (e)))) a))) (x y)) y) (λ f . (x))) y
