如何在具有一个催化剂的 P 系统中获得计算完备性
摘要：使用特定变体的附加控制机制，我们建立了计算完备性，这样只要有一个催化剂的P系统还是暂未解决的问题。每一步只使用来自有限数量多重集重写规则集合中的一个集合的多重集重写规则，可以获得具有一个催化剂和一个膜的计算完备性。如果使用目标来选择要应用的多重集规则，需要多于一个膜才能获得具有一个催化剂的计算完备性。如果可用的规则集随时间周期性变化，可以在一个膜中获得具有一个催化剂的计算完备性。此外，我们还改进了移动催化剂P系统和创建膜P系统的现有计算完备性结果。
作者：Rudolf Freund (TU Wien), Gheorghe Pu{a}un
论文ID：1309.1267
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-09-06