Pokud u0 Þn un [p] pro nějaké n ³ 1, pak u0 derivuje un v G, zapisujeme: u0 Þ+ un [p].
Pokud u0 Þn un [p] pro nějaké n ³ 0, pak u0 derivuje un v G, zapisujeme: u0 Þ* un [p].
Příklad: Uvažujme
aAb Þ aaBbb [1: A ® aBb] a
aaBbb Þ aacbb [2: B ® c].
Potom: aAb Þ2 aacbb [1 2], aAb Þ+ aacbb [1 2], aAb Þ* aacbb [1 2]
Sekvence derivačních kroků 2/2
7/50