Abstract
This paper is inspired from two directions: (1) finding out the minimum number of membranes required for proving universality with minimal symport/antiport, and (2) the functionality of red blood corpuscles and how it can be translated in the membrane computing scenario. We are motivated by (2) and try to solve (1) using (2). Red blood corpuscles (RBCs) are the basic elements of all kinds of cells. RBCs are present in all the membranes of mammals. They get replaced periodically. They do not evolve or divide like usual cells; they are just carriers of oxygen and hence are communicating agents in a cell. This being the case, symport/antiport rules are the most suitable control structures to model their activity. We exploit the properties of RBCs in order to impose a natural restriction on the traces of objects; we consider a class of P systems where the objects represent RBCs and symport/antiport rules are used for communication. We prove a universality result with two membranes using symport/antiport rules of weight one, thus giving a solution for the number of membranes required for minimal symport/antiport in the RBC setting.
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
Bernadini, F., Gheorghe, M.: On the power of minimal symport/antiport. In: Pre-proceedings of Workshop on Membrane Computing, WMC 2003, Tarragona, Spain, July 2003, GRLMC Report 28/03, pp. 72–83 (2003)
Bernadini, F., Păun, A.: Symport/antiport: Five membranes suffices. In: MartÃn-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 43–54. Springer, Heidelberg (2004)
Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1990)
Frisco, P.: About P systems with symport/antiport. Second Brainstorming Week on Membrane Computing, Sevilla, Spain, February 2004, RGNC Res. Rep. 01/2004, pp. 224–236 (2004)
Ionescu, M., Martin-Vide, C., Păun, G.: P systems with symport/antiport rules: The traces of objects. Grammars 5(2), 65–79 (2002)
Kari, L., Martin-Vide, C., Păun, A.: 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: Pre-proceedings of Workshop on Membrane Computing, WMC5, Milan, Italy, June 2004, pp. 283–294 (2004)
Martin-Vide, C., Păun, A., Păun, G.: On the power of P systems with symport rules. Journal of Universal Computer Science 8, 317–331 (2002)
Martin-Vide, C., Păun, A., Păun, G., Rozenberg, G.: Membrane systems with coupled transport: universality and normal forms. Fundamenta Informaticae 49, 1–15 (2002)
Păun, A., Păun, G.: The power of communication: P systems with symport/antiport. New Generation Computing 20(3), 295–306 (2002)
Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Vaszil, G.: On the size of P systems with minimal symport/antiport. In: Pre-proceedings of Workshop on Membrane Computing, WMC5, Milan, Italy, June 2004, pp. 422–431 (2004)
http://nobelprize.org/medicine/educational/landsteiner/readmore.html
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
Krishna, S.N. (2005). P Systems with Symport/Antiport: The Traces of RBCs. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2004. Lecture Notes in Computer Science, vol 3365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31837-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-31837-8_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25080-7
Online ISBN: 978-3-540-31837-8
eBook Packages: Computer ScienceComputer Science (R0)