\begin{slide}{Strategien}

beschränken die Auswahl unter mehreren möglichen
Regel-Anwendungen ($=$ Redex-Auswahlen)

\begin{itemize} \itemsep 0pt
\item
  top: nur an der Wurzelposition
\item
  outermost: ein outermost Redex ist nicht
  echter Teilbaum eines anderen Redexes
\item
  innermost: ein innermost Redex
  hat keinen anderen Redex als echten Teilbaum
\end{itemize}

\end{slide}
