Das Kefk Network Wiki befindet sich im Testbetrieb.
Normal Order Reduction
Aus Kefk.
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, wo die Ausdrücke erst ausgewertet werden, wenn deren Wert bei der Berechnung benötig wird. Neben der zweiten Ableitungsstrategie, der Applicative Order Reduction (AOR), führt diese Strategie immer zum Erfolg, falls ein Ausdruck e eine Normalform hat.
 | Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Normal_Order_Reduction, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation. |
