Reduction system

Reduction system

In mathematics, a reduction system is a system where terms can be re-written by using a finte list of rewriting rules.

Examples of reduction systems include string rewriting systems, term rewriting systems, lambda calculus under lambda conversion, and combinatory reduction systems.

When none of the reduction rules can be applied to a given expression, it is said to be in normal form.

See also

* Reduction strategy
* Graph rewriting


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Dolby noise-reduction system — A Dolby 361 A type noise reduction module Dolby NR is the name given to a series of noise reduction systems developed by Dolby Laboratories for use in analog magnetic tape recording. The first was Dolby A, a professional broadband noise reduction …   Wikipedia

  • Dolby noise reduction system — Dolby NR is the name given to a series of noise reduction systems developed by Dolby Laboratories for use in analogue magnetic tape recording. The first was Dolby A professional noise reduction for recording studios in 1966, but the best known is …   Wikipedia

  • Dust reduction system — mergeto: see below A dust spot caused by a dust particle on the image sensor A dust reduction system, or dust removal system, is a technology employed by several manufacturers of digital system cameras (often referred to …   Wikipedia

  • Shake Reduction System — Als Bildstabilisierung bezeichnet man in der Fototechnik Verfahren zur Vermeidung von Verwacklungsunschärfe. Inhaltsverzeichnis 1 Grundlagen 2 Funktionsprinzipien 2.1 Optische Bildstabilisierung 2.1.1 Implementierung im Objektiv …   Deutsch Wikipedia

  • Drag reduction system — DRS in action: open above, closed below Driver adjustable bodywork,[1] commonly known as drag reduction system (or DRS), is a motorsport technology aimed at reducing aerodynamic drag in order to promote overtaking in Formula One. DRS was… …   Wikipedia

  • Drag Reduction System — Verstellbarer Heckflügel am Red Bull RB7 (oben geöffnet, unten geschlossen) Das Drag Reduction System (kurz: DRS, dt.: System zur Verminderung des Luftwiderstandes), umgangssprachlich häufig beweglicher Heckflügel genannt, ist eine Technik, die… …   Deutsch Wikipedia

  • Noise-Reduction-System — Noise Reduction System,   Abkürzung NRS [englisch, nɔɪzrɪ dʌkʃn sɪstəm], Rauschminderungssystem …   Universal-Lexikon

  • Reduction — Reduction, reduced, or reduce may refer to:cienceChemistry*Reduction – chemical reaction in which atoms have their oxidation number (oxidation state) changed. **Reduced gas – a gas with a low oxidation number **Ore reduction: see… …   Wikipedia

  • Reduction strategy — In code optimization during the translation of computer programs into an executable form, and in mathematical reduction generally, a reduction strategy for a term rewriting system determines which reducible subterms (or reducible expressions,… …   Wikipedia

  • Reduction potential — (also known as redox potential, oxidation / reduction potential, ORP or Eh) is a measure of the tendency of a chemical species to acquire electrons and thereby be reduced. Reduction potential is measured in volts (V), or millivolts (mV). Each… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”