\begin{slide}{Das hängende \emph{else}}

naheliegende EBNF-Regel für Verzweigungen:
\begin{verbatim}
<statement> -> if <expression> 
    then <statement> [ else <statement> ]
\end{verbatim}
führt zu einer mehrdeutigen Grammatik.

Dieser Satz hat zwei Ableitungsbäume:
\begin{verbatim}
if X1 then if X2 then S1 else S2
\end{verbatim}

\begin{itemize}
\item 
Festlegung: das \glqq in der Luft hängende\grqq\ (dangling) \verb|else| \\
gehört immer zum letzten verfügbaren \verb|then|.
\item
Realisierung durch Grammatik mit (Hilfs-)Variablen
\begin{verbatim}
<statement>, <statement-no-short-if>
\end{verbatim}
\end{itemize}

\end{slide}
