Copyright © Philip M. Parker, INSEAD. Terms of Use.

DELTA REDUCTION

Specialty Definition: DELTA REDUCTION

DomainDefinition

Computing

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 (1997-02-20). Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top     

Crosswords: DELTA REDUCTION

Specialty definitions using "DELTA REDUCTION": delta conversion. (references)

Top     

Anagrams: DELTA REDUCTION

Scrabble® Enable2K-Verified Anagrams

Words within the letters "a-c-d-d-e-e-i-l-n-o-r-t-t-u"

-2 letters: denticulated, reinoculated.

-3 letters: delectation, denticulate, deuteration, edulcorated, radiolucent, reductional, reeducation, reinoculate, reluctation, reticulated, undecorated.

-4 letters: adulterine, auctioneer, coattended, colatitude, credential, crenulated, delineator, detraction, edulcorate, elucidated, elucidator, elutriated, eructation, inoculated, interacted, interlaced, introduced, laundrette, nucleotide, orientated, outlearned, reinducted, reluctated, reticulate, ulceration, uncredited, undeclared, underacted, undirected.

-5 letters: acidulent, adduction, antidoted, antiulcer, arecoline, auctioned, autotelic, calenture, carnotite.

Source: compiled by the editor from various references; see credits.

SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.

Top     

Alternative Orthography: DELTA REDUCTION


Hexadecimal (or equivalents, 770AD-1900s) (references)

44 45 4C 54 41      52 45 44 55 43 54 49 4F 4E

Leonardo da Vinci (1452-1519; backwards) (references)

    

Binary Code (1918-1938, probably earlier) (references)

01000100 01000101 01001100 01010100 01000001 00100000 01010010 01000101 01000100 01010101 01000011 01010100 01001001 01001111 01001110

HTML Code (1990) (references)

&#68 &#69 &#76 &#84 &#65 &#32 &#82 &#69 &#68 &#85 &#67 &#84 &#73 &#79 &#78

ISO 10646 (1991-1993) (references)

0044 0045 004C 0054 0041      0052 0045 0044 0055 0043 0054 0049 004F 004E

Encryption (beginner's substitution cypher): (references)

38394654352523938553754434948

Top     



INDEX

1. Crosswords
2. Anagrams
3. Orthography
4. Bibliography


  

Copyright © Philip M. Parker, INSEAD. Terms of Use.