How to Obtain Computational Completeness in P Systems with One Catalyst

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 se...

Full description

Bibliographic Details
Main Authors: Rudolf Freund, Gheorghe Păun
Format: Article
Language:English
Published: Open Publishing Association 2013-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1309.1267v1