Normal Order Reduction

Normal Order Reduction

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.


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Applicative Order Reduction — Die Applicative Order Reduction (AOR) ist eine Ableitungsstrategie beim Lambda Kalkül, um einen Lambda Ausdruck zu dessen Normalform abzuleiten. Es werden zuerst die Argumente ausgewertet und erst dann die Funktionen, die die Argumente benötigen …   Deutsch Wikipedia

  • Beta normal form — In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta redex in… …   Wikipedia

  • oxidation–reduction reaction — ▪ chemical reaction Introduction also called  redox reaction        any chemical reaction in which the oxidation number of a participating chemical species changes. The term covers a large and diverse body of processes. Many oxidation– reduction… …   Universalium

  • Jordan normal form — In linear algebra, a Jordan normal form (often called Jordan canonical form)[1] of a linear operator on a finite dimensional vector space is an upper triangular matrix of a particular form called Jordan matrix, representing the operator on some… …   Wikipedia

  • Noise reduction — For sound proofing, see soundproofing. For scientific aspects of noise reduction of machinery and products, see noise control. Noise reduction is the process of removing noise from a signal. All recording devices, both analogue or digital, have… …   Wikipedia

  • Selective catalytic reduction — (SCR) is a means of converting nitrogen oxides, also referred to as chem|NO|x with the aid of a catalyst into diatomic nitrogen, chem|N|2, and water, chem|H|2|O. A gaseous reductant, typically anhydrous ammonia, aqueous ammonia or urea, is added… …   Wikipedia

  • Immigration reduction — refers to movements that advocate a reduction in the amount of immigration allowed into their country. This can include a reduction in the numbers of legal immigrants, advocating stronger action be taken to prevent illegal entry and illegal… …   Wikipedia

  • Relational order theories — A number of independent lines of research depict the universe, including the social organization of living creatures which is of particular interest to humans, as systems, or networks, of relationships. Relational systems, or regimes, are often… …   Wikipedia

  • Clitoral hood reduction — Clitoral hood reduction: the pre operative aspects of clitoral prepuce and labia minora hypertrophy (left), and the post operative aspects of the reduced prepuce and labia minora. (right) Clitoral hood reduction is an elective plastic surgery… …   Wikipedia

  • Characters of the Order of the Stick — This is a list of characters from the webcomic The Order of the Stick .The Order of the StickThe Order is said by Rich Burlew, the author of the strip, to be roughly 7th to 9th level (though fans have noted, based on the capabilities they have… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”