Home     
    
    Bücher   Links   Impressum

next up previous contents
Nächste Seite: Eindeutigkeit Aufwärts: LR(0)-Grammatiken Vorherige Seite: Definition von Begriffen für   Inhalt

Verbale Definition von LR(0)-Grammatik

Eine CFG $G$ ist eine LR(0)-Grammatik, wenn
  • der Griff von $t$ und die zugehörige Regel eindeutig bestimmt ist.
  • wenn $(xy,y)$ der Griff von $t$ und $xyz$ Rechtssatzform mit $z\in\Sigma^{*}$ ist, dann ist $(xy,y)$ zugleich Griff von $xyz$.
    D.h. also, daß es keine unterschiedlichen zwei Griffe gibt, wenn der Anfang der Wörter $xyz$ und $t$ gleich ist.