Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun Plural form of redex.

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word redexes.

Examples

  • An appropriate subrelation of reduction is the simultaneous contraction of a set of nonoverlapping redexes, which is denoted by sc.

    Combinatory Logic Bimbó, Katalin 2008

  • ˜Nonoverlapping™ means that there are no shared subterm occurrences between two redexes. sc includes because a one-step reduction of a redex may be viewed instead as sc of a singleton set of redexes. sc is, obviously, included in ‰¥ (i.e., in reduction).

    Combinatory Logic Bimbó, Katalin 2008

  • A term that is either of the form SMNP or of the form KMN is a redex, and the leading combinators (S and K, respectively) are the heads of the redexes.

    Combinatory Logic Bimbó, Katalin 2008

  • A term is in normal form (nf) when it contains no redexes.

    Combinatory Logic Bimbó, Katalin 2008

  • Note that one-step reduction need not decrease the total number of redexes that a term contains, hence, is does not follow that every term can be turned into one in nf after finitely many one-step reductions.

    Combinatory Logic Bimbó, Katalin 2008

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.