Abstract
P systems with active membranes are among the central ones in membrane computing, and they were shown to be both computationally universal (able to simulate Turing machines) and computationally efficient (able to solve hard problems in polynomial time). However, in all cases, these results were obtained by making use of several powerful features, such as membrane polarization, label changing, division of non-elementary membranes, priorities, or cooperative rules. This paper contributes to the research effort of introducing a class of P systems with active membranes having none of the features mentioned above, but still preserving the power and the efficiency. The additional feature we consider instead are the operations of endocytosis and exocytosis: moving a membrane inside a neighboring membrane, or outside the membrane where it is placed. We investigate the power and the efficiency of these systems (also using membrane division) by first proving that they can simulate (with a linear slowdown and without introducing non-determinism) rewriting P systems with 2-replication, for which the universality and the possibility of solving NP-complete problems in polynomial time are known. In this way, the universality and efficiency are also obtained for our systems. We also give a direct and simple proof for the universality result – without using division rules (the proof uses nine membranes, but we do not know whether this number can be decreased).
Similar content being viewed by others
References
Alhazov A, Freund R and Păun Gh (2004) P systems with active membranes and two polarizations, In: Proceedings Second Brainstorming Week on Membrane Computing, Sevilla, February 2004, TR 01/04 of Research Group on Natural Computing, Sevilla University, pp. 20–36
Alhazov A and Ishdorj T-O (2004) Membrane operations in P systems with active membranes, In: Proceeding Second Brainstorming Week on Membrane Computing, Sevilla, February 2004, TR 01/04 of Research Group on Natural Computing, Sevilla University, pp. 37–44
A Alhazov L Pan Gh Păun (2005) ArticleTitleTrading polarizations for labels in P systems with active membranes Acta Informatica 41 IssueID2–3 111–144 Occurrence Handle10.1007/s00236-004-0153-z
G Bel Enguix MD Jiménez-Lopez (2005) Linguistic membrane systems and applications G Ciobanu Gh Păun MJ Pérez-Jiménez (Eds) Applications of Membrane Computing Springer-Verlag Berlin
Besozzi D (2004) Computational and Modelling Power of P Systems. PhD Thesis, University degli Studi di Milano
D Besozzi C Zandron G Mauri N Sabadini (2001) P systems with gemmation of mobile membranes Rocca Restivo A Della SR L Roversi (Eds) Proceedings ICTCS 2001. Torino LNCS 2202 Springer-Verlag Berlin 136–153
Csuhaj-Varjú E, Di Nola A, Păun Gh, Peréz-Jiménez MJ and Vaszil G (2005) Editing configurations of P systems, submitted
J Dassow Gh Păun (1989) Regulated Rewriting in Formal Language Theory Springer-Verlag Berlin
Freund R and Păun Gh (2001) On the number of non-terminals in graph-controlled, programmed, and matrix grammars, Conference on Universal Machines and Computations, Chisinau, 2001, LNCS 2055, Springer-Verlag, pp. 214–225
SN Krishna R Rama (2001) ArticleTitleP systems with replicated rewriting Journal of Automata, Languages and Combinatorics 6 IssueID3 345–350
SN Krishna R Rama H Ramesh (2005) ArticleTitleFurther results on contextual and rewriting P systems Fundamenta Informaticae 64 IssueID1–4 241–253
V Manca C Martin-Vide Gh Păun (2001) ArticleTitleOn the power of P systems with replicated rewriting Journal of Automata, Languages, and Combinatorics 6 IssueID3 359–374
Mutyam M (2005) Rewriting P systems. Collapsing hierarchies. Theoretical Computer Science to appear
Gh Păun (2001) ArticleTitleP systems with active membranes: Attacking NP-complete problems Journal of Automata, Languages and Combinatorics 6 IssueID1 75–90
Gh Păun (2002) Membrane Computing. An Introduction Springer-Verlag Berlin
Gh Păun Y Suzuki H Tanaka T Yokomori (2004) ArticleTitleOn the power of membrane division in P systems Theoretical Computer Science 324 IssueID1 61–85 Occurrence Handle10.1016/j.tcs.2004.03.053
G Rozenberg A Salomaa (Eds) (1977) Handbook of Formal Languages Springer-Verlag Berlin
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Krishna, S.N., Păun, G. P Systems with Mobile Membranes. Nat Comput 4, 255–274 (2005). https://doi.org/10.1007/s11047-005-3771-7
Issue Date:
DOI: https://doi.org/10.1007/s11047-005-3771-7