Příklad: Uvažujme:
 apbc |– aqac [1: pb ® qaS] a
 aqac |– acrc  [2: qa ® rcR].
Potom,  apbc |–2 acrc [1 2], apbc |–+ acrc [1 2], apbc |–* acrc [1 2]
Sekvence přechodů 2/2
14/45
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].