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í Þ.