小规模插入和删除规则的 P 系统的计算能力
摘要：小尺寸插入-删除系统无法完全生成所有递归可枚举语言。然而，如果添加了额外的计算分布机制，如P系统，则在某些情况下可以实现计算完整性。在本文中，我们将两个非计算完整的插入-删除系统放入P系统框架中，并通过证明可以生成任何递归可枚举语言来严格增加计算能力。最后，提出了一些待解决的问题。
作者：Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan
论文ID：0906.3119
分类：Computational Complexity
分类简称：cs.CC
提交时间：2009-06-18