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

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

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

См. также[править]