Normal Order Reduction
Aus EverybodyWiki Bios & Wiki
Die Normal Order Reduction (NOR) ist in der Mathematik 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.[1]
Literatur[Bearbeiten]
- W. Kluge (2005): Abstract Computing Machines ISBN 978-3-642-05938-4
Einzelnachweise[Bearbeiten]
- ↑ Reduction Strategies for Lambda Calculus. Abgerufen am 16. Dezember 2021.
Diese artikel "Normal Order Reduction" ist von Wikipedia The list of its authors can be seen in its historical and/or the page Edithistory:Normal Order Reduction.
