Definition of reduction

Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )

reduction

(Or "contraction") The process of transforming an expression

according to certain reduction rules. The most important

forms are beta reduction (application of a lambdaabstraction to one or more argument expressions) and deltareduction (application of a mathematical function to the

required number of arguments).

which part of an expression (which redex) to reduce first.

There are many such strategies.

(1995-02-21)

Related search result for "reduction"

Words contain "reduction":
applicative order reduction beta reduction Codd's reduction algorithm delta reduction eta reduction graph reduction normal order reduction parallel reduction reduction reduction strategy more...
Words contain "reduction" in its definition in Computing (FOLDOC) dictionary:
reduction reduction strategy parallel reduction string reduction beta reduction Computational Adequacy Theorem Weak Head Normal Form applicative order reduction delta reduction Church-Rosser Theorem more...