具有小规模插入和删除规则的P系统的计算能力
计算复杂性
2009-06-18 v1
摘要
最近的研究表明，规模较小的插入-删除系统是不完备的，无法生成所有递归可枚举语言。然而，如果加入像P系统这样的额外计算分布机制，则在某些情况下可以实现计算完备性。在本文中，我们选取两个非计算完备的插入-删除系统，在P系统的框架下对其进行研究，并通过证明任何递归可枚举语言均可生成，表明其计算能力得到了严格提升。最后，提出了一些开放问题。
引用
@article{arxiv.0906.3119,
title = {Computational Power of P Systems with Small Size Insertion and Deletion Rules},
author = {Alexander Krassovitskiy and Yurii Rogozhin and Sergey Verlan},
journal= {arXiv preprint arXiv:0906.3119},
year = {2009}
}