Definice: Nechť u Î (N È T)*. G provede
nula derivačních kroků z u do u; zapisujeme:
u Þ0 u [e] nebo zjednodušeně u Þ0 u
Definice: Nechť u0,…,un Î (N È T)*, n ³ 1 a ui-1 Þ ui [pi], pi Î P pro všechna i = 1,…, n, což znamená:
u0 Þ u1 [p1] Þ u2 [p2] … Þ un [pn]
Pak, G provede n derivačních kroků z u0 do un; zapisujeme:
u0 Þn un [p1... pn] nebo zjednodušeně u0 Þn un 
Sekvence derivačních kroků 1/2
 Myšlenka: Několik derivačních kroků po sobě
6/50