Tippfehler normale Applikation

This commit is contained in:
Marco Ammon 2018-10-10 16:17:01 +02:00
parent cbbf80713b
commit a2ee045e01
2 changed files with 1 additions and 1 deletions

Binary file not shown.

View File

@ -91,7 +91,7 @@ Wir definieren $A \subseteq \mathbb{N}$ und für jede $n$-stellige Operation $f$
\begin{itemize}
\item $(\lambda x.t) s \norm t\lbrack s/x\rbrack$
\item $\lambda x.t \norm \lambda x.t'$, wenn $t\norm t'$
\item $ts \norm t's$m wenn $t\norm t'$ und $t$ keine $\lambda$-Abstraktion ist
\item $ts \norm t's$ wenn $t\norm t'$ und $t$ keine $\lambda$-Abstraktion ist
\item $ts \norm ts'$, wenn $s\norm s'$ und $t$ normal und keine $\lambda$-Abstraktion ist
\item terminiert immer, falls Normalform existiert (nach Standardisierungssatz) \satz{3.17}{35}
\end{itemize}