Normal Order Reduction

**Prof. Dr. Sinsi** · 07-22-2012

* 1

normal order reductionunder this evaluation strategy an expression is evaluated by reducing the leftmost outermost redex first

this method will terminate for any expression for which termination is possible, whereas applicative order reduction may not

this method is equivalent to passing arguments unevaluated because arguments are initially to the right of functions applied to them

see also: computational adequacy theorem
English Related Words* absolute order
* absolutely normal
* administrative order
* adoption order
* advance order
* advertising insertion order
* affiliation order
* air force technical order center
* airborne order
* all or none order (aon)
* alphabetical order
* alternative order
* ancient arabic order of nobles of the mystic shrine
* animal order
* any-part-of order

07-22-2012	#1
Prof. Dr. Sinsi	Normal Order Reduction * 1normal order reductionunder this evaluation strategy an expression is evaluated by reducing the leftmost outermost redex first this method will terminate for any expression for which termination is possible, whereas applicative order reduction may not this method is equivalent to passing arguments unevaluated because arguments are initially to the right of functions applied to them see also: computational adequacy theorem English Related Words* absolute order * absolutely normal * administrative order * adoption order * advance order * advertising insertion order * affiliation order * air force technical order center * airborne order * all or none order (aon) * alphabetical order * alternative order * ancient arabic order of nobles of the mystic shrine * animal order * any-part-of order