%% -*- mode: latex; TeX-master: "compilerbau.tex"; -*-

\begin{slide}{Dangling else}

\kopf{$ $Id: else.tex,v 1.1 2011-10-16 14:06:17 waldmann Exp $ $}

In vielen Programmiersprachen ist definiert:
\begin{verbatim}
Anweisung -> ... 
   |  if Ausdruck then Anweisung
   |  if Ausdruck then Anweisung else Anweisung
\end{verbatim}
Modell: $\{ S \to e | t S | t S e S \}$.

Diese Regelmenge führt zu einer mehrdeutigen Grammatik.

Aufgabe: finden Sie eine eindeutige Grammatik
mit den \glqq richtigen \grqq\ Ableitungsbäumen.

\end{slide}
