Unterabschnitte
Jedes Wortpaar
mit
für das es eine Rechtsableitung der Form
gibt, heißt Griff von
. Wenn klar ist, an welcher Stelle die Regel
greift, so kann man auch nur Griff
von
sagen.
Sei
eine CFG. Alle Wörter
die aus dem Startsymbol durch eine Rechtsableitung generiert werden können (
), heißen Rechtssatzform. Eine Rechtssatzform ist also eine Menge.