Abstract
The aim of this paper is to study the computational power of P systems with one active membrane without polarizations. For P systems with active membranes, it is known that computational completeness can be obtained with either of the following combinations of features: (i) two polarizations, (ii) membrane creation and dissolution, (iii) four membranes with three labels, membrane division and dissolution, (iv) seven membranes with two labels, membrane division and dissolution. Obviously, in polarizationless P systems with only one active membrane only object evolution rules and send-out rules are possible. We consider two variants here – external output and internal output – and show how the choice of the output region influences the generative power. Moreover, we illustrate the connection between (polarizationless) P systems with one active membrane and catalytic P systems with one catalyst in the skin region.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alhazov, A.: P systems without multiplicities of symbol-objects. Inf. Process. Lett. 100(3), 124–129 (2006)
Alhazov, A., Ciubotaru, C., Ivanov, S., Rogozhin, Y.: The family of languages generated by non-cooperative membrane systems. In: Gheorghe, M., Hinze, T., Paun, Gh., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 65–80. Springer, Heidelberg (2010)
Alhazov, A., Freund, R., Paun, Gh.: Computational completeness of P systems with active membranes and two polarizations. In: Margenstern, M. (ed.) MCU 2004. LNCS, vol. 3354, pp. 82–92. Springer, Heidelberg (2005)
Alhazov, A., Freund, R., Riscos-Núñez, A.: Membrane division, restricted membrane creation and object complexity in P systems. Int. J. Comput. Math. 83(7), 529–548 (2006)
Freund, R.: Special variants of P systems with one catalyst in one membrane. In: Leung, H., Pighizzini, G. (eds.) Proceedings of the 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, pp. 250–258 (2006)
Paun, Gh.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000). Turku Center for Computer Science-TUCS report 208, November 1998. http://www.tucs.fi
Paun, Gh.: Membrane Computing: An Introduction. Springer, Heidelberg (2002)
Paun, Gh, Rozenberg, G., Salomaa, A.: Membrane computing with an external output. Fundamenta Informaticae 41(3), 313–340 (2000)
Paun, Gh., Rozenberg, A., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, New York (2010)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, 3 Volumes. Springer, Heidelberg (1997)
The P Systems Website: www.ppage.psystems.eu
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Alhazov, A., Freund, R. (2015). Polarizationless P Systems with One Active Membrane. In: Rozenberg, G., Salomaa, A., Sempere, J., Zandron, C. (eds) Membrane Computing. CMC 2015. Lecture Notes in Computer Science(), vol 9504. Springer, Cham. https://doi.org/10.1007/978-3-319-28475-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-28475-0_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-28474-3
Online ISBN: 978-3-319-28475-0
eBook Packages: Computer ScienceComputer Science (R0)