One More Universality Result for P Systems with Objects on Membranes
Keywords:
Membrane computing, Brane calculi, Matrix grammar, UniversalityAbstract
We continue here the attempt to bridge brane calculi with membrane computing, following the investigation started in [2]. Specifically, we consider P systems with objects placed on membranes, and processed by membrane operations. The operations used in this paper are membrane creation (cre), and membrane dissolution (dis), defined in a way which reminds the operations pino, exo from a brane calculus from [1]. For P systems based on these operations we prove the universality, for one of the two possible variants of the operations; for the other variant the problem remains open.
References
L. Cardelli, Brane calculi. Interactions of biological membranes, Proc. Computational Methods in Systems Biology, 2004, Springer-Verlag, Berlin, to appear.
L. Cardelli, Gh. Paun, An universality result for a (mem)brane calculus based on mate/drip operations, Intern. J. Foundations of Computer Sci., 17, 1 (2006), 49-68. http://dx.doi.org/10.1142/S0129054106003693
J. Dassow, Gh. Paun, Regulated Rewriting in Formal Language Theory, Springer-Verlag, Berlin, 1989. http://dx.doi.org/10.1007/978-3-642-74932-2
Gh. Păun, Computing with membranes, Journal of Computer and System Sciences, 61, 1 (2000), 108-143 (and Turku Center for Computer Science-TUCS Report 208, November 1998, www.tucs.fi).
Gh. Păun, Membrane Computing. An Introduction, Springer-Verlag, Berlin, 2002. http://dx.doi.org/10.1007/978-3-642-56196-2
The membrane computing web page: http://psystems.disco.unimib.it.
Published
Issue
Section
License
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.
