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.
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