Derivační krok
Definice: Nechť G = (N, T, P, S) je NG. Nechť
u, v Î (N È T)* a p = x ® y Î P. Potom, uxv přímo derivuje uyv za použití p v G, zapsáno   uxv Þ uyv [p] nebo zjednodušeně uxv Þ uyv.
Myšlenka: Změnění řetězce použitím pravidla
Pravidlo: x ® y
x
u
v
…
…
y
u
v
Pozn.: Þn, Þ+, Þ* a L(G) je definováno stejně jako u bezkontextových gramatik.
27/45