3622
правки
Изменения
м
→Нормальный порядок редукции: облегчена речевая конструкция определения
[http://softoption.us/content/node/46 Здесь] про стратегии редуцирования с примерами и определениями.
'''Нормальный порядок редуцирования''' {{---}} самым первым делом сначала раскрывается самый левый самый внешний редекс.
Пример не очень удачный, так в нём всего одна редукция, после которой получится: y (y (y (λ b . (x (x (x (λ c d . d) y)) x)))) y
