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