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

\begin{slide}{Eindeutigkeit}

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

Def: $G$ heißt \emph{eindeutig}, falls $\forall w \in L(G)$
\emph{genau ein} Ableitungsbaum $(T,m)$ existiert.

Bsp: ist $\{ S \to aSb | SS | \epsilon \}$ eindeutig?

(beachte: mehrere Ableitungen $S \to_R^* w$ sind erlaubt,
und wg. Kontextfreiheit auch gar nicht zu vermeiden.)

\end{slide}

