Abstract
P systems with active membranes but without using electrical charges (polarizations) are shown to be complete for generating recursively enumerable string languages when working on string objects and using only rules with membrane transitions as well as rules with membrane dissolving and elementary membrane division, but also when using various other kinds of rules, even including a new type of rules allowing for membrane generation. In particular, allowing for changing membrane labels turns out to be a very powerful control feature.
Similar content being viewed by others
References
Dassow J, Păun Gh (1989) Regulated rewriting in formal language theory. Springer, Berlin
Freund R, Oswald M (2002) GP systems with forbidding context. Fundamenta Informaticae 49:81–102
Freund R, Martín-Vide C, Păun Gh (2004) From regulated rewriting to computing with membranes: collapsing hierarchies. Theoretical Computer Science 312:143–188
Hopcroft J, Ulmann J (1979) Introduction to automata theory, languages, and computation. Addison-Wesley Reading Mass
Krishna SN, Rama R (1999) A variant of P systems with active membranes: solving NP-complete problems. Romanian J. of Information Science and Technology 2:357–367
The P Systems Web Page: http://psystems.disco.unimib.it/
Păun A (2000) On P systems with active membranes. Proc. of the First International Conference on Unconventional Models of Computation (UMC2K). In: Antoniou I, Calude CS, Dinneen MJ (eds) Discrete Mathematics and Theoretical Computer Science. Springer, Berlin, pp 187–201
Păun Gh (2000) Computing with membranes. Journal of Computer and System Sciences 61:108–143 and TUCS Research Report 208 (1998) (http://www.tucs.fi)
Păun Gh (2001) P systems with active membranes: attacking NP-complete problems. Journal of Automata, Languages and Combinatorics 6:75–90
Păun Gh (2002) Membrane computing: an introduction. Springer, Berlin
Păun Gh, Suzuki Y, Tanaka H, Yokomori T (2000) On the power of membrane division in P systems. Proc. Conf. on Words, Languages, and Combinatorics, Kyoto, and Theoretical Computer Science, in press
Rozenberg G, Salomaa A (eds) (1997) Handbook of formal languages. Springer, Berlin
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Freund, R., Păun, A. P systems with active membranes and without polarizations. Soft Comput 9, 657–663 (2005). https://doi.org/10.1007/s00500-004-0395-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-004-0395-2