Reduction strategy
theory
An algorithm for deciding which redex(es) to reduce next. Different strategies have different termination properties in the presence of recursive functions or values.
See string reduction, normal order reduction, applicative order reduction, parallel reduction
(1995-05-09)
Read Also:
- Reductively
adjective 1. of or relating to reduction; serving to reduce or abridge: an urgent need for reductive measures. 2. of or relating to change from one form to another: reductive chemical processes. 3. employing an analysis of a complex subject into a simplified, less detailed form; of, pertaining to, or employing reductionism; reductionistic. noun 4. […]
- Reductiveness
adjective 1. of or relating to reduction; serving to reduce or abridge: an urgent need for reductive measures. 2. of or relating to change from one form to another: reductive chemical processes. 3. employing an analysis of a complex subject into a simplified, less detailed form; of, pertaining to, or employing reductionism; reductionistic. noun 4. […]
- Reductivism
noun 1. reductionism.
- Reductor
noun, Chemistry. 1. a tube with a stopcock at one end, usually filled with a metal, for reducing a constituent in a solution.
- Redundance
noun, plural redundancies. 1. the state of being redundant. 2. superfluous repetition or overlapping, especially of words. 3. a redundant thing, part, or amount; superfluity. 4. the provision of additional or duplicate systems, equipment, etc., that function in case an operating part or system fails, as in a spacecraft. 5. Linguistics. the inclusion of more […]