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].
Příklad: Uvažujme
pabc |– qbc [1: pa ® q] a qbc |– rc [2: qb ® r].
Potom: pabc |–2 rc [1 2], pabc |–+ rc [1 2], pabc |–* rc [1 2]
Sekvence přechodů 2/2
15/29