next up previous contents index
Next: Rule of -Reduction Up: -Reduction Previous: -Reduction   Contents   Start

Reducible Expression `redex'

$ \beta $-reduction can be applied only to reducible expressions. A reducible expression called `redex' for short is defined as follows:
\fbox{ \parbox{12.5cm}{ {\sc Definition 4 (redex)} \\ A redex is a reducible e... ...ion and is represented as: \begin{center}$((\lambda x . M) N)$ \end{center} } }

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz