diff --git a/merkzettel.pdf b/merkzettel.pdf index 3edb24055fc14c76eed749d715d90b70c5acf1bc..277c010770bc45b13bc74807584e9aaf2736560c 100644 Binary files a/merkzettel.pdf and b/merkzettel.pdf differ diff --git a/merkzettel.tex b/merkzettel.tex index 76b4c8a681bebed711b858e4fc52eeb473194a7a..b968346e0fac8d40361c8d472920b10fe64e95d7 100644 --- a/merkzettel.tex +++ b/merkzettel.tex @@ -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}