15、部分可逆计算的代数定律：抽象算子与并发双模拟

部分可逆计算的代数定律：抽象算子与并发双模拟

1. 抽象算子的过渡规则

抽象算子 $\tau_I$（其中 $I \subseteq E$）将集合 $I$ 中的所有原子事件重命名为 $\tau$。带有静默步骤和抽象算子的 APRTC 被称为 APRT Cτ。抽象算子 $\tau_I$ 的过渡规则如下表所示：
| 条件 | 过渡规则 |
| — | — |
| $x \xrightarrow{e} \surd$，$e \notin I$ | $\tau_I(x) \xrightarrow{e} \surd$ |
| $x \xrightarrow{e} x’$，$e \notin I$ | $\tau_I(x) \xrightarrow{e} \tau_I(x’)$ |
| $x \xrightarrow{e} \surd$，$e \in I$ | $\tau_I(x) \xrightarrow{\tau} \surd$ |
| $x \xrightarrow{e} x’$，$e \in I$ | $\tau_I(x) \xrightarrow{\tau} \tau_I(x’)$ |
| $x \xRightarrow{e[m]} \surd$，$e[m] \notin I$ | $\tau_I(x) \xRightarrow{e[m]} \surd$ |
| $x \xRightarrow{e[m]} x’$，$e[m] \notin I$ | $\tau_I(x) \xRightarrow{e[m]} \tau_I(x’)$ |
| $x \xRightarrow{e[m]} \surd$，$e[m] \in I$ | $\tau