normal order reduction

N n

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of normal order reduction words

noun Technical meaning of 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. 1

Just one definition for normal order reduction

Information block about the term

Parts of speech for Normal order reduction

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Normal order reduction

See also

All definitions of normal order reduction

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?