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)

Tagged:

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.



Disclaimer: Reduction strategy 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.