Alpha-Äquivalenz

merkzettel.tex

@@ -72,7 +72,10 @@ Wir definieren $A \subseteq \mathbb{N}$ und für jede $n$-stellige Operation $f$
 	\begin{equation*}
 	\lambda x.yx \ered y
 	\end{equation*}
-	\item \textbf{TODO} $\alpha$-Äquivalenz
+	\item $\alpha$-Äquivalenz: $t_1 =_\alpha t_2$, wenn $t_2$ durch Umbenennung gebundener Variablen aus $t_1$ hervorgeht, formal: \defin{3.6}{31}
+	\begin{align*}
+	\underbrace{\lambda x.u}_{t_1} =_\alpha \underbrace{\lambda y.u[y/x]}_{t_2} &&\text{wenn } y \notin FV(u)
+	\end{align*}
 \end{itemize}
 \subsubsection*{Auswertungsstrategien}
 \begin{itemize}