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