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
- Normal-series
noun, Mathematics. 1. a collection of subgroups of a given group so arranged that the first subgroup is the identity, the last subgroup is the group itself, and each subgroup is a normal subgroup of the succeeding subgroup.