Normal order reduction

Under 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.


Read Also:

  • Normal-orthogonal

    noun, Mathematics. 1. .

  • Normal-pentane

    noun, Chemistry. 1. (def 2). [pen-teyn] /ˈpɛn teɪn/ noun, Chemistry, Pharmacology. 1. a hydrocarbon of the methane series, existing in three liquid isomeric forms. 2. Also called normal pentane. the most important isomer of pentane, a colorless, flammable, water-insoluble, very volatile liquid, C 5 H 1 2 , obtained from petroleum by distillation: used chiefly […]

  • Normal occlusion

    normal occlusion n. The normal arrangement of teeth and their supporting structures that approaches an ideal or standard arrangement.

  • Normal science

    noun the scientific process that is considered standard; the basic process of puzzle-solving, explaining and expanding scientific paradigms

Disclaimer: Normal order reduction definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.