Нормальная редукционная стратегия

From Традиция
Jump to navigation Jump to search

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

См. также[edit]