Table 4 Recursive definition principle and recursive specification principle
From: RETRACTED ARTICLE: An algebra of reversible computation
No. | Axiom |
|---|---|
RDP | \(\langle X_i|E\rangle = t_i(\langle X_1|E,\ldots ,X_n|E\rangle )\quad \quad (i\in \{1,\ldots ,n\})\) |
RSP | if \(y_i=t_i(y_1,\ldots ,y_n)\) for \(i\in \{1,\ldots ,n\}\), then \(y_i=\langle X_i|E\rangle \quad \quad (i\in \{1,\ldots ,n\})\) |