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

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} }
}


domain access counter Georg P. Loczewski 2004-03-05