Nullierbare Variablen

Id: null.tex,v 1.1 2004/12/14 12:36:40 waldmann Exp

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

Die Menge der nullierbaren Variablen von G

ist die kleinste Menge N $\subseteq$ V mit:

• wenn (A$\to$$\epsilon$) $\in$ R, dann A $\in$ N
• wenn (A$\to$x) $\in$ R und x $\in$ N^*, dann A $\in$ N

Bemerkung: der erste Fall ist tatsächlich im zweiten enthalten.

Def: eine Regel A$\to$r heißt nullierbar, falls r$\to_{R}^{*}$$\epsilon$.