One More Universality Result for P Systems with Objects on Membranes

  • Gheorghe Păun Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucure¸sti, Romania and Research Group on Natural Computing Department of Computer Science and Artificial Intelligence University of Sevilla Avda. Reina Mercedes s/n, 41012 Sevilla, Spain E-mail: george.paun@imar.ro, gpaun@us.es

Abstract

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

[1] L. Cardelli, Brane calculi. Interactions of biological membranes, Proc. Computational Methods in Systems Biology, 2004, Springer-Verlag, Berlin, to appear.

[2] 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

[3] 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

[4] 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).

[5] Gh. Păun, Membrane Computing. An Introduction, Springer-Verlag, Berlin, 2002.
http://dx.doi.org/10.1007/978-3-642-56196-2

[6] The membrane computing web page: http://psystems.disco.unimib.it.
Published
2006-01-01
How to Cite
PĂUN, Gheorghe. One More Universality Result for P Systems with Objects on Membranes. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, [S.l.], v. 1, n. 1, p. 25-32, jan. 2006. ISSN 1841-9844. Available at: <http://univagora.ro/jour/index.php/ijccc/article/view/2269>. Date accessed: 29 june 2022.

Keywords

Membrane computing, Brane calculi, Matrix grammar, Universality