Нормальная редукционная стратегия
Перейти к навигации
Перейти к поиску
Нормальная редукционная стратегия — такая стратегия редукции в λ-исчислении, при которой на каждом шаге редукции выбирается текстуально самый левый β-редекс. Доказано, что нормальная редукционная стратегия гарантирует получение нормальной формы λ-выражения, если она существует. В программировании нормальная редукционная стратегия соответствует вызову по имени.