3 research outputs found
A Biological Perspective on Sorting with P Systems
The aim of this contribution is to argue that the processes occurring in biological
membranes in bacteria are also important as natural examples of communication
between membranes, which, in the formal framework of P systems, leads (among other
things) to simulations of sorting operations
Further Remarks on Trace Languages in P Systems with Symport/Antiport
P systems are parallel molecular computing models which process multisets
of objects in cell-like membrane structures. In this paper we consider the trace languages
of a special symbol, the traveler, in symport/antiport P systems where, instead of multisets of objects, sets of objects were considered. Two different ways to define the trace
language are proposed. One of the families of languages obtained in this way is proved
to be equal to the family of regular languages and the other one to be strictly smaller.
Some ideas for further research are also considered
On Promoters/Inhibitors and Symport/Antiport with Traces in P Systems
This article brings together some rather powerful results on P systems in which the computation is performed by the communication of objects through symport and antiport rules considering the trace of an object through membranes, on the one hand, and by P systems with object-rewriting non-cooperative rules, promoters/inhibitors at the level of rules and only one catalyst, on the other. It is recalled here that computational universality can be reached whit these formalisms and that some of the proofs can be sketched. Three ideas are also put forward to brake the direct relationship (infinite hierarchy) induced by the size of the considered alphabet and the number of the membranes needed in a P system (with traces) to generate recursively enumerable languages on the chosen alphabet