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

\begin{slide}{Nullierbare Variablen}

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

Def: Eine Variable $A$ heißt \emph{nullierbar},
falls $A \to_R^* \epsilon$.

Die Menge der nullierbaren Variablen von $G$

ist die kleinste Menge $N \subseteq V$ mit:
\begin{itemize}
\item wenn $(A \to \epsilon) \in R$, dann $A \in N$
\item wenn $(A \to x) \in R$ und $x \in N^*$, dann $A \in N$
\end{itemize}
Bemerkung: der erste Fall ist tatsächlich
im zweiten enthalten.

Def: eine Regel $A \to r$ heißt nullierbar,
falls $r\to_R^* \epsilon$.

\end{slide}
