On Promoters/Inhibitors and Symport/Antiport with Traces in P Systems
DOI:
https://doi.org/10.17345/triangle6.67-88Keywords:
language, literature, computationAbstract
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.Downloads
Downloads
Published
How to Cite
Issue
Section
License
This journal provides immediate open access to its contents based on the principle that the making research available to the public free of charge promotes the global exchange of knowledge. The journal Triangle is published under a Creative Commons licence.
This journal allows the authors to hold the copyright without restrictions. This journal allows the authors to retain the publishing rights without restrictions.
All articles published in our journals are open access and freely available online, immediately upon publication. There are no submission charges and no processing charges for Publicacions URV Journals.