Abstract
P systems with active membranes using only two electrical charges and only rules of type \(\left( a\right) ,\) i.e., evolution rules used in parallel in the regions of the membrane system, and of type \(\left( c\right) ,\) i.e., communication rules sending out an object of a membrane thereby possibly changing the polarization of this membrane, assigned to at most two membranes are shown to be computationally complete, which improves the previous result of this type with respect to the number of polarizations as well as to the number of membranes. Allowing a special variant \(\left( c_{\lambda }\right) \) of rules of type \(\left( c\right) \) to delete symbols by sending them out, even only one membrane is enough.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alhazov, A., Freund, R., Păun, G.: P Systems with active membranes and two polarizations. In: Păun, G., Riscos Nuñez, A., Romero Jiménez, A., Sancho Caparrini, F. (eds.) Second Week on Membrane Computing, Sevilla, Spain, February 2-7, 2004. Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla Tech. Report 01/2004, pp. 20–36 (2004)
Alhazov, A., Pan, L.: Polarizationless P systems with active membranes. To appear in Grammars (2004)
Alhazov, A., Pan, L., Păun, G.: Trading polarizations for labels in P systems with active membranes. Submitted (2003)
Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1989)
Freund, R., Martín-Vide, C., Păun, G.: From regulated rewriting to computing with membranes: collapsing hierarchies. Theoretical Computer Science 312, 143–188 (2004)
Freund, R., Păun, G.: Deterministic P systems. Submitted (2004)
Madhu, M., Krithivasan, K.: Improved results about the universality of P systems. Bulletin of the EATCS 76, 162–168 (2002)
Păun, G.: Computing with Membranes: An Introduction. Springer, Berlin (2002)
Paun, G.: Computing with membranes - a variant: P systems with polarized membranes. Intern. J. of Foundations of Computer Science 11(1), 167–182 (2000) and CDMTCS TR 098
Salomaa, A., Rozenberg, G. (eds.): Handbook of Formal Languages. Springer, Berlin (1997)
The P Systems Web Page, http://psystems.disco.unimib.it
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alhazov, A., Freund, R., Păun, G. (2005). Computational Completeness of P Systems with Active Membranes and Two Polarizations. In: Margenstern, M. (eds) Machines, Computations, and Universality. MCU 2004. Lecture Notes in Computer Science, vol 3354. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31834-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-31834-7_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25261-0
Online ISBN: 978-3-540-31834-7
eBook Packages: Computer ScienceComputer Science (R0)