Nejpravější derivace
Definice: Nechť G = (N, T, P, S) je BKG, nechť u Î (N È T)*, v Î T*,  p = A ® x Î P je pravidlo. Pak uAv přímo derivuje uxv za pomocí nejpravější derivace užitím pravidla p v G, zapsáno jako:  uAv Þrm uxv [p]
14/50
Myšlenka: Během nejpravějšího derivačního kroku je přepsán nejpravější neterminál.
Pozn.:  Þrm+ a  Þrm* je definováno pomocí Þrm stejně jako Þ+ a Þ* je dříve definováno pomocí Þ.