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