e/de/Normal Order Reduction

Information
instance of	c/Logical calculi

Meaning
German
has gloss	deu: Die Normal Order Reduction (NOR) ist eine Ableitungsstrategie beim Lambda-Kalkül, um einen Lambda-Ausdruck zu dessen Normalform abzuleiten. Bei dieser Strategie wird die lazy-evaluation genutzt, bei der die Ausdrücke erst ausgewertet werden, wenn deren Wert bei der Berechnung benötigt wird. Neben der zweiten Ableitungsstrategie, der Applicative Order Reduction (AOR), führt diese Strategie immer zum Erfolg, falls ein Ausdruck e eine Normalform hat.
lexicalization	deu: Normal Order Reduction