A
Derivační krok u BKG
Definice: Nechť G = (N, T, P, S) je BKG. Nechť
u, v Î (N È T)* a p = A ® x Î P. Potom, uAv přímo derivuje uxv za použití p v G, zapsáno   uAv Þ uxv [p] nebo zjednodušeně uAv Þ uxv.
Pozn.: Pokud uAv Þ uxv v G, můžeme říct, že G provádí derivační krok z uAv do uxv.
 Myšlenka: Změnění řetězce použitím pravidla
v
u
Pravidlo: A ® x
x
…
u
v
…
5/50