3622
правки
Изменения
→Привести в нормальную форму
<br/>
λ a . (λ b . y) (λ c . y (y (λ d . a a a)) (x x) a)
=== Решение ===
В нормальной форме нет редукций. Если нормальная форма существует, то её можно достичь при помощи редукций нормальным порядком, а аппликативным можно и достичь.
# Уже в нормальное форме, как ни странно
# λ b . y
==Нормальный порядок редукции==
