Abstract
Tissue P systems are a class of bio-inspired computing models motivated by biochemical interactions between cells in a tissue-like arrangement. This organization is formally described by an interaction graph with membranes at its vertices. Membranes communicate by exchanging objects from a finite set. This basic model was enhanced with the operation of cell separation, resulting in tissue P systems with cell separation. Uniform families of tissue P systems were recently studied. Their computational power was shown to range between P and NP ∪ co − NP, characterizing borderlines between tractability and intractability by length of rules and some other features. Here we show that the computational power of these uniform families in polynomial time is limited from above by the class PSPACE. In this way we relate the information-processing potential of bio-inspired tissue-like systems to classical parallel computing models as PRAM or alternating Turing machine.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alhazov, A., Martín-Vide, C., Pan, L.: Solving a PSPACE-complete problem by P systems with restricted active membranes. Fundamenta Informaticae 58(2), 67–77 (2003)
Alhazov, A., Freund, R., Oswald, M.: Tissue P Systems with Antiport Rules and Small Numbers of Symbols and Cells. In: De Felice, C., Restivo, A. (eds.) DLT 2005. LNCS, vol. 3572, pp. 100–111. Springer, Heidelberg (2005)
Bernardini, F., Gheorghe, M.: Cell communication in tissue P systems and cell division in population P systems. Soft Computing 9(9), 640–649 (2005)
Freund, R., Păun, G., Pérez-Jiménez, M.: Tissue P systems with channel states. Theoretical Computer Science 330, 101–116 (2005)
Gutiérrez–Escudero, R., Pérez–Jiménez, M.J., Rius–Font, M.: Characterizing Tractability by Tissue-Like P Systems. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 289–300. Springer, Heidelberg (2010)
Krishna, S., Lakshmanan, K., Rama, R.: Tissue P Systems with Contextual and Rewriting Rules. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 339–351. Springer, Heidelberg (2003)
Lakshmanan, K., Rama, R.: The computational efficiency of insertion deletion tissue P systems. In: Subramanian, K., Rangarajan, K., Mukund, M. (eds.) Formal Models, Languages and Applications, pp. 235–245. World Scientific (2006)
Martín-Vide, C., Pazos, J., Păun, G., Rodríguez-Patón, A.: A New Class of Symbolic Abstract Neural Nets: Tissue P Systems. In: Ibarra, O.H., Zhang, L. (eds.) COCOON 2002. LNCS, vol. 2387, pp. 290–299. Springer, Heidelberg (2002)
Martín Vide, C., Pazos, J., Păun, G., Rodríguez Patón, A.: Tissue P systems. Theoretical Computer Science 296, 295–326 (2003)
Pan, L., Ishdorj, T.O.: P systems with active membranes and separation rules. Journal of Universal Computer Science 10(5), 630–649 (2004)
Pan, L., Pérez-Jiménez, M.: Computational complexity of tissue–like P systems. Journal of Complexity 26(3), 296–315 (2010)
Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)
Pérez-Jiménez, M., Romero-Jiménez, A., Sancho-Caparrini, F.: A polynomial complexity class in P systems using membrane division. Journal of Automata, Languages and Combinatorics 11(4), 423–434 (2006)
Păun, A., Păun, G.: The power of communication: P systems with symport/antiport. New Generation Comput. 20(3), 295–306 (2002)
Păun, G., Pérez-Jiménez, M., Riscos-Núñez, A.: Tissue P systems with cell division. Int. J. of Computers, Communications and Control 3(3), 295–303 (2008)
Sosík, P.: Limits of the power of tissue P systems with cell division. In: Proceedings of the Thirteenth International Conference on Membrane Computing (to appear, 2012)
Sosík, P., Rodríguez-Patón, A.: Membrane computing and complexity theory: A characterization of PSPACE. J. Comput. System Sci. 73(1), 137–152 (2007)
The P Systems Web Page, http://ppage.psystems.eu/ (cit. May 29, 2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sosík, P., Cienciala, L. (2012). Tissue P Systems with Cell Separation: Upper Bound by PSPACE. In: Dediu, AH., Martín-Vide, C., Truthe, B. (eds) Theory and Practice of Natural Computing. TPNC 2012. Lecture Notes in Computer Science, vol 7505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33860-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-33860-1_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33859-5
Online ISBN: 978-3-642-33860-1
eBook Packages: Computer ScienceComputer Science (R0)