Eindeutigkeit

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

Def: G heißt eindeutig, falls $\forall$w $\in$ L(G) 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.)