4、反应系统通信与广义禁止矩阵文法解析

反应系统通信与广义禁止矩阵文法解析

反应系统通信

在反应系统的研究中，有两种重要的通信模式，分别是通过产品通信的 cdcR(p) 系统和通过反应通信的 cdcR(r) 系统。

直接通信规则

对于集合 (S) 中的每个 (x) 以及 (1 \leq i, k \leq n)，在 (A’) 中存在一个反应 (\rho[x,i,k]’)，其形式为 (({[x, i, k]’}, {[x, k]}, {[x, k]}))。初始状态 (W_0) 由所有反应物 ([x, h]) 组成，其中 (x \in S) 且 ([x, h]) 是 (D_{h,0}) 的元素，(1 \leq h \leq n)。在状态序列的转换过程中，从组件 (A_i) 到组件 (A_k) 存在活跃通信链接的条件是，对于某些 (x \in S)，存在反应物 ([x, i, k]’ \in S’)，它是 (A) 在 (W_{2j}) 上启用反应的产物。

通过反应通信的 cdcR(r) 系统

• 定义 ：一个度数为 (n)（(n \geq 1)）的 cdcR(r) 系统是一个三元组 (\Delta = (n, S, R))。其中，(n) 是组件的数量，(S) 是有限非空的背景集，(R) 是有限非空的扩展反应（rc - 反应）集合。每个 rc - 反应的形式为 (\rho : (R_{\rho}, I_{\rho}, P_{\rho}); target(\rho))，其中 (R_{\rho})、(I_{\rho})、(P_{\rho}) 分别是反应物、抑制剂和产物的非空子集，(target(\rho) \subseteq {1, \