Příklad: Uvažujme
AApabc  |– ABqbc  [1: Apa ® Bq] a
  ABqbc  |– ABCrc [2: Bqb ® BCr].
Potom, AApabc |–2 ABCrc [1 2], AApabc |–+ ABCrc [1 2], AApabc |–* ABCrc [1 2]
Sekvence přechodů 2/2
28/50
Pokud c0  |–n cn [r] pro nějaké n ³ 1, pak
 c0  |–+ cn [r].
Pokud c0  |–n cn [r] pro nějaké n ³ 0, pak
 c0  |–* cn [r].