From: RETRACTED ARTICLE: An algebra of reversible computation
No. | Axiom |
---|---|
RRN1 | \(\rho _f(\upsilon )=f(\upsilon )\) |
RRN2 | \(\rho _f(\upsilon [m])=f(\upsilon )[m]\) |
RRN3 | \(\rho _f(\delta )=\delta \) |
RRN4 | \(\rho _f(x+y)=\rho _f(x)+\rho _f(y)\) |
RRN5 | \(\rho _f(x\cdot y)=\rho _f(x)\cdot \rho _f(y)\) |