Přechod u RZA
Definice: Nechť xvpay a xwqy jsou dvě konfigurace RZA M, kde x, v, w Î G*, p, q Î Q, a Î S È {e} a y Î S*. Nechť r = vpa ® wq Î R je pravidlo. Potom M může provést přechod z xvpay do xwqy za použití r, zapsáno: xvpay |– xwqy [r] nebo xvpay |– xwqy.
Pravidlo: vpa ® wq
Konfigurace:
Nová konfigurace: 
q
…
w
…
y
x
Pozn.: |–n, |–+, |–*, L(M)f , L(M)e  a L(M)fe  jsou definovány stejně jako u ZA.
a
p
y
x
v
35/50