[论文解读] How to Obtain Computational Completeness in P Systems with One Catalyst

Rudolf Freund, Gheorghe Pǎun|Sep 5, 2013

DNA and Biological Computing被引用 3

一句话总结

该论文通过引入特定的控制机制——如基于标签、目标或时变规则集的规则选择——仅使用一个催化剂，在P系统中实现了计算完备性，使单个膜内以最少资源实现通用计算成为可能。其核心贡献在于证明：在结合适当的控制策略时，仅使用一个催化剂即可实现计算完备性，从而解决了在该约束条件下的一个开放问题。

ABSTRACT

Whether P systems with only one catalyst can already be computationally complete, is still an open problem. Here we establish computational completeness by using specific variants of additional control mechanisms. At each step using only multiset rewriting rules from one set of a finite number of sets of multiset rewriting rules allows for obtaining computational completeness with one catalyst and only one membrane. If the targets are used for choosing the multiset of rules to be applied, for getting computational completeness with only one catalyst more than one membrane is needed. If the available sets of rules change periodically with time, computational completeness can be obtained with one catalyst in one membrane. Moreover, we also improve existing computational completeness results for P systems with mobile catalysts and for P systems with membrane creation.

研究动机与目标

• 解决P系统中仅使用一个催化剂是否可实现计算完备性的开放问题。
• 研究在缺乏多个催化剂的情况下，额外的控制机制是否可补偿以实现通用性。
• 在移动催化剂和膜生成的P系统中改进现有计算完备性结果，降低资源需求。
• 证明仅使用一个膜和一个催化剂，通过时变规则集或规则选择机制，可实现计算完备性。
• 明确在催化剂和膜配置受限条件下，催化P系统实现通用性的最小需求。

提出的方法

• 采用时变规则集，其中可用规则以固定周期（例如周期六）周期性循环，实现在单个膜内的最大并行推导。
• 使用有限字母表 H 的规则标签，每一步仅应用相同标签的规则，确保在最大并行环境中实现受控且类似串行的行为。
• 在多个膜中应用基于目标的规则选择（例如，目标为 'in'、'out'、'here'），以引导规则应用并实现计算完备性。
• 设计一种寄存器机的模拟，利用催化剂和对象演化规则，其中寄存器内容通过对象数量编码，控制流通过标签传播实现。
• 引入陷阱对象（#）以防止无效配置，并确保仅在正确推导中才停止，通过不可逆规则应用强制保证正确性。
• 构建一个仅含一个膜、一个催化剂和周期为六的时变规则集的P系统，证明仅当无法应用任何规则时才发生停止，从而实现通用性。

实验结果

研究问题

• RQ1 是否可通过额外控制机制在仅使用一个催化剂的P系统中实现计算完备性？
• RQ2 是否可通过时变规则集在单膜P系统中仅使用一个催化剂实现通用性？
• RQ3 在仅使用一个催化剂的多膜系统中，基于目标的规则选择能否模拟通用计算？
• RQ4 使用有限字母表的规则标签是否可在单膜P系统中仅使用一个催化剂实现计算完备性？
• RQ5 在实现计算完备性时，是否可消除对膜创建或通透性控制操作 δ 和 τ 的需求？

主要发现

• 在仅使用一个催化剂、一个膜和周期为六的时变规则集的P系统中，通过最大并行推导模式实现了计算完备性。
• 仅使用一个催化剂和通过有限字母表 H 进行标签选择的规则选择机制，可在单个膜中模拟通用计算，从而证明了计算完备性。
• 基于目标的规则选择可在仅使用一个催化剂的情况下实现计算完备性，但需要多于一个膜，从而解决了多膜情形。
• 陷阱对象（#）的使用可确保错误配置导致非停止计算，通过不可逆规则应用在寄存器机指令模拟中强制保证正确性。
• 该结果在先前构造的基础上进行了改进，消除了对膜创建和通透性控制操作 δ 和 τ 的需求，降低了资源使用。
• 所构建P系统生成语言的Parikh图像等于目标递归可枚举语言的Parikh图像，从而确认了计算完备性。