Unterabschnitte
Jedes Wortpaar
![$(xy,y)$](img718.png)
mit
![$x,y\in(V\cup\Sigma)^{*}$](img719.png)
für das es eine Rechtsableitung der Form
gibt, heißt Griff von
![$xyz$](img721.png)
. Wenn klar ist, an welcher Stelle die Regel
![$A\rightarrow y$](img710.png)
greift, so kann man auch nur Griff
![$y$](img722.png)
von
![$xyz$](img721.png)
sagen.
Sei
![$G$](img402.png)
eine CFG. Alle Wörter
die aus dem Startsymbol durch eine Rechtsableitung generiert werden können (
![$S\Rightarrow_{R}^{*}t$](img724.png)
), heißen Rechtssatzform. Eine Rechtssatzform ist also eine Menge.