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
Support
Help support Wordnik (and make this page ad-free) by adopting the word redex.
Examples
-
At any rate, I hope you enjoyed this fantastic redex of my story.
Down the Road Bowie Ibarra 2009
-
At any rate, I hope you enjoyed this fantastic redex of my story.
Down the Road Bowie Ibarra 2009
-
None of these terms contains a redex, hence they reduce only to themselves.
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
-
Filled up with super unleaded and redex and given it a good blast which seems to have cleared most of the misfire problem.
unknown title 2009
-
Q² obtained by replacing that subterm by MP (NP) is a one-step reduct of Q. (Similarly, for the redex
Combinatory Logic Bimbó, Katalin 2008
-
This term has a reduction sequence (in which each contracted redex is headed by
Combinatory Logic Bimbó, Katalin 2008
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.