Abstract
It is known that symport/antiport P systems with two membranes and minimal cooperation can generate any recursively enumerable sets of natural numbers using exactly one superfluous object in the output membrane, where the output membrane is an elementary membrane. In this paper we consider symport/antiport P systems where the output membrane is the skin membrane. In this case we prove an unexpected characterization: symport/antiport P systems (and purely symport P systems) with two membranes and minimal cooperation generate exactly the recursively enumerable sets of natural numbers.
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., Rogozhin, Y.: Computational Power of Symport/Antiport: History, Advances, and Open Problems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 1–30. Springer, Heidelberg (2006)
Alhazov, A., Freund, R., Rogozhin, Y.: Some Optimal Results on Communicative P Systems with Minimal Cooperation. In: [17], pp. 23–36
Alhazov, A., Margenstern, M., Rogozhin, V., Rogozhin, Y., Verlan, S.: Communicative P Systems with Minimal Cooperation. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 161–177. Springer, Heidelberg (2005)
Alhazov, A., Rogozhin, Y.: Minimal Cooperation in Symport/Antiport P Systems with One Membrane. In: [18], pp. 29–34
Alhazov, A., Rogozhin, Y.: Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 135–153. Springer, Heidelberg (2006)
Alhazov, A., Rogozhin, Y.: Generating Languages by P Systems with Minimal Symport/Antiport. Computer Science Journal of Moldova 14, 3(42), 299–323 (2006)
Alhazov, A., Rogozhin, Y., Verlan, S.: Symport/Antiport Tissue P Systems with Minimal Cooperation. In: [17], pp. 37–52
Alhazov, A., Rogozhin, Y., Verlan, S.: Minimal Cooperation in Symport/Antiport Tissue P Systems. International Journal of Foundation of Computer Science 18(1), 163–179 (2007)
Bernardini, F., Gheorghe, M.: On the Power of Minimal Symport/Antiport. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing. LNCS, vol. 2933, pp. 72–83. Springer, Heidelberg (2004)
Bernardini, F., Păun, A.: Universality of Minimal Symport/Antiport: Five Membranes Suffice. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing. LNCS, vol. 2933, pp. 43–45. Springer, Heidelberg (2004)
Freund, R., Oswald, M.: GP Systems with Forbidding Context. Fundamenta Informaticae 49, 1–3, 81–102 (2002)
Freund, R., Oswald, M.: P Systems with Activated/Prohibited Membrane Channels. In: [29], pp. 261–268
Freund, R., Păun, A.: Membrane Systems with Symport/Antiport: Universality Results. In: [29], pp. 270–287
Frisco, P.: About P Systems with Symport/Antiport. In: Păun, G., Riscos-Núñez, A., Romero-Jiménez, A., Sancho-Caparrini, F. (eds.) Second Brainstorming Week on Membrane Computing. TR 01/2004, Research Group on Natural Computing, University of Seville, pp. 224–236 (2004)
Frisco, P., Hoogeboom, H.J.: Simulating Counter Automata by P Systems with Symport/Antiport. In: [29], pp. 288–301
Frisco, P., Hoogeboom, H.J.: P Systems with Symport/Antiport Simulating Counter Automata. Acta Informatica 41, 2–3, 145–170 (2004)
Gutiérrez-Naranjo, M.A., Păun, G., Pérez-Jiménez, M.J. (eds.): Cellular Computing (Complexity Aspects). ESF PESC Exploratory Workshop. Fénix Editora, Sevilla (2005)
Gutiérrez-Naranjo, M.A., Riscos-Núñez, A., Romero-Campero, F.J., Sburlan, D. (eds.): Third Brainstorming Week on Membrane Computing. RGNC TR 01/2005, University of Seville. Fénix Editora, Sevilla (2005)
Kari, L., Martín-Vide, C., Păun, A.: On the Universality of P Systems with Minimal Symport/Antiport Rules. In: Jonoska, N., Păun, G., Rozenberg, G. (eds.) Aspects of Molecular Computing. LNCS, vol. 2950, pp. 254–265. Springer, Heidelberg (2003)
Margenstern, M., Rogozhin, V., Rogozhin, Y., Verlan, S.: About P Systems with Minimal Symport/Antiport Rules and Four Membranes. In: [22], pp. 283–294
Martín-Vide, C., Păun, A., Păun, G.: On the Power of P Systems with Symport Rules. Journal of Universal Computer Science 8(2), 317–331 (2002)
Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds.): WMC 2004. LNCS, vol. 3365. Springer, Heidelberg (2005)
Minsky, M.L.: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs, New Jersey (1967)
Păun, A., Păun, G.: The Power of Communication: P Systems with Symport/Antiport. New Generation Computing 20, 295–305 (2002)
Păun, G.: Computing with Membranes. Journal of Computer and Systems Science 61, 108–143 (2000)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Păun, G.: Further Twenty Six Open Problems in Membrane Computing. In: [18], pp. 249–262 (2005)
Păun, G.: 2006 Research Topics in Membrane Computing. In: Gutiérrez-Naranjo, M.A., Păun, G., Riscos-Núñez, A., Romero-Campero, F.J. (eds.) Fourth Brainstorming Week on Membrane Computing, vol. 1, pp. 235–251. Fénix Edit., Sevilla (2006)
Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.): Membrane Computing. LNCS, vol. 2597. Springer, Heidelberg (2003)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3. Springer, Berlin (1997)
Vaszil, G.: On the Size of P Systems with Minimal Symport/Antiport. In: [22], pp. 422–431
Verlan, S.: Optimal Results on Tissue P Systems with Minimal Symport/ Antiport. In: EMCC meeting, Lorentz Center, Leiden (2004)
Verlan, S.: Tissue P Systems with Minimal Symport/Antiport. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds.) DLT 2004. LNCS, vol. 3340, pp. 418–430. Springer, Heidelberg (2004)
P Systems Webpage, http://psystems.disco.unimib.it
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alhazov, A., Rogozhin, Y. (2007). Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2007. Lecture Notes in Computer Science, vol 4860. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77312-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-77312-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77311-5
Online ISBN: 978-3-540-77312-2
eBook Packages: Computer ScienceComputer Science (R0)