Abstract
In this paper we study systems of mutual mobile membranes with objects on surface using pino/exo/phago rules. Their rules are applicable whenever there is a mutual agreement between membranes expressed by appropriate objects and co-objects on their surfaces. We investigate the computational power of these systems, and also relate them to brane calculi by encoding the PEP fragment of brane calculus into the systems of mutual mobile membranes with objects on surface.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aman B, Ciobanu G (2007a) On the reachability problem in P systems with mobile membranes. Lect Notes Comput Sci 4860:113–123
Aman B, Ciobanu G (2007b) Structural properties and observability in membrane systems. In: Proceedings SYNASC, IEEE Computer Society, pp 74–84
Aman B, Ciobanu G (2008) Membrane systems with surface objects. Proceedings CBM 2008, pp 17–29
Aman B, Ciobanu G (2009a) Turing completeness using three mobile membranes. Lect Notes Comput Sci 5715:42–55
Aman B, Ciobanu G (2009b) Simple, enhanced and mutual mobile membranes. Trans Comput Syst Biol XI, pp 26–44
Bolsover SR, Hyams JS, Shephard EA, White HA, Wiedermann CG (2004) Cell biology. A short course. Wiley, New York
Brijder R, Cavaliere M, Riscos-Núñez A, Rozenberg G, Sburlan D (2008) Membrane systems with proteins embedded in membranes. Theor Comput Sci 404:26–39
Busi N, Gorrieri R (2006) On the computational power of Brane Calculi. Trans Comput Syst Biol VI:16–43
Cardelli L (2004) Brane Calculi. Interactions of biological membranes. Lect Notes BioInform 3082:257–278
Cardelli L, Păun Gh (2006) An universality result for a (mem)brane calculus based on mate/drip operations. Int J Found Comput Sci 17:49–68
Cavaliere M, Sedwards S (2007) Membrane systems with peripheral proteins: transport and evolution. Electr Notes Theor Comput Sci 171:37–53
Ciobanu G, Păun Gh, Pérez-Jiménez MJ (eds) (2006) Applications of membrane computing. Springer, Berlin
Dassow J, Păun Gh (1990) Regulated rewriting in formal language theory. Springer, Berlin
Krishna SN (2007) Universality results for P systems based on Brane Calculi operations. Theor Comput Sci 371:83–105
Păun Gh (2002) Membrane computing. An introduction. Springer, Berlin
Salomaa A (1973) Formal languages. Academic Press, New York
Acknowledgements
The work of Bogdan Aman is supported by POSDRU/89/1.5/S/49944.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Aman, B., Ciobanu, G. Mutual mobile membranes with objects on surface. Nat Comput 10, 777–793 (2011). https://doi.org/10.1007/s11047-011-9249-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-011-9249-x