Word:

delta reduction

(theory)delta reduction - 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
Browse
Delphinine
delphinium
Delphinium ajacis
Delphinoid
Delphinoidea
Delphinus
Delphinus delphis
DELQA
Delsarte
Delta
Delta connection
delta conversion
Delta current
delta hepatitis
delta iron
delta ray
-- delta reduction --
delta rhythm
delta wave
Delta-4
Delta-Prolog
Deltafication
Deltaic
DELTASE
Deltasone
Delthyris
Delthyris limestone
Deltic
Deltidium
Deltohedron
Deltoid
deltoid eminence
deltoid leaf
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy