50、具有反物质的P系统与鲁棒通用飞行非晶计算机

具有反物质的P系统与鲁棒通用飞行非晶计算机

具有反物质的P系统

在膜计算领域，考虑“反物质”对象及其对应的物质/反物质湮灭规则的想法可以扩展到所有类型的P系统，这里主要讨论细胞类P系统。

形式定义

一个具有反物质的细胞类P系统（度为m，带有催化剂）是一个构造：
[
\Pi = (O, AO, C, \mu, w_1, \ldots, w_m, R_1, \ldots, R_m, i_{in}, i_{out})
]
其中，各组件与普通P系统相同，而AO是符号集合(\overline{a})，其中(a \in O \setminus C)（显然，不允许催化剂有反对象）。在(\mu)的每个隔室中，都存在物质/反物质湮灭规则(a\overline{a} \to \lambda)，对于所有(\overline{a} \in AO)。这些规则可以像在SN P系统中那样“自动”在零时间内应用，也可以像其他规则一样使用，最终可能对所有其他规则具有弱优先级。规则集(R_i)（(1 \leq i \leq m)）中形式为(u \to v)的规则必须满足条件：对于任何(\overline{a} \in AO)，(u)和(v)都不能同时包含符号(a)及其反物质对象(\overline{a})。

该系统的运作与膜计算中的常规情况相同，要记住湮灭规则必须添加到所有规则集(R_i)（(1 \leq i \leq m)）中。用(NO_aP_m(ncoo, pri))表示由最多(m)个膜、使用反对象、具有非合作规则的P系统生成的数字集族。参数(pri)表示湮灭规则相对于其他规则具有优先级；如果不使用这种隐式优先级，则省略该参数。如果除了非合作规则还