delta conversion
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definitions of delta conversion words
- abbreviation Technical meaning of DELTA CONVERSION delta reduction 3
- noun Definition of delta conversion in Technology (theory) In lambda-calculus extended with constants, delta reduction replaces a function applied to the required number of arguments (a redex) by a result. E.g. plus 2 3 --> 5. In contrast with beta reduction (the only kind of reduction in the pure lambda-calculus) the result is not formed simply by textual substitution of arguments into the body of a function. Instead, a delta redex is matched against the left hand side of all delta rules and is replaced by the right hand side of the (first) matching rule. There is notionally one delta rule for each possible combination of function and arguments. Where this implies an infinite number of rules, the result is usually defined by reference to some external system such as mathematical addition or the hardware operations of some computer. For other types, all rules can be given explicitly, for example Boolean negation: not True = False not False = True (1997-02-20) 1
Information block about the term
Parts of speech for Delta conversion
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with d
- Words starting with de
- Words starting with del
- Words starting with delt
- Words starting with delta
- Words starting with deltac
- Words starting with deltaco
- Words starting with deltacon
- Words starting with deltaconv
- Words starting with deltaconve
- Words starting with deltaconver
- Words starting with deltaconvers
- Words starting with deltaconversi
- Words starting with deltaconversio
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?