Definitions

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

  • noun mathematics Something to be reduced according to the rules of a formal system.

Etymologies

from Wiktionary, Creative Commons Attribution/Share-Alike License

From "reducible expression"

Examples

  • At any rate, I hope you enjoyed this fantastic redex of my story.

    Down the Road

  • At any rate, I hope you enjoyed this fantastic redex of my story.

    Down the Road

  • None of these terms contains a redex, hence they reduce only to themselves.

    Combinatory Logic

  • ˜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

  • 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

  • Filled up with super unleaded and redex and given it a good blast which seems to have cleared most of the misfire problem.

    undefined

  • Q² obtained by replacing that subterm by MP (NP) is a one-step reduct of Q. (Similarly, for the redex

    Combinatory Logic

  • This term has a reduction sequence (in which each contracted redex is headed by

    Combinatory Logic

Comments

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