Abstract
This is a comprehensive (and friendly) introduction to membrane computing (MC), meant to offer both computer scientists and non-computer scientists an up-to-date overview of the field. That is why the set of notions introduced here is rather large, but the presentation is informal, without proofs and with rigorous definitions given only for the basic types of P systems — symbol object P systems with multiset rewriting rules, systems with symport/antiport rules, systems with string objects, tissue-like P systems, and neural-like P systems. Besides a list of (biologically inspired or mathematically motivated) ingredients/features which can be used in systems of these types, we also mention a series of results, as well as a series of research trends and topics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
L.M. Adleman: Molecular Computation of Solutions to Combinatorial Problems. Science, 226 (November 1994), 1021–1024.
B. Alberts, A. Johnson, J. Lewis, M. Raff, K. Roberts, P. Walter: Molecular Biology of the Cell, 4th ed. Garland Science, New York, 2002.
A. Alhazov, R. Freund: On the Efficiency of P Systems with Active Membranes and Two Polarizations. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365 [59], 147–161.
A. Alhazov, M. Margenstern, V. Rogozhin, Y. Rogozhin, S. Verlan: Communicative P Systems with Minimal Cooperation. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365 [59], 162–178.
A. Alhazov, C. Martín-Vide, L. Pan: Solving a PSPACE-Complete Problem by P Systems with Restricted Active Membranes. Fundamenta Informaticae, 58,2 (2003), 67–77.
A. Alhazov, C. Martín-Vide, Gh. Păun, eds.: Pre-proceedings of Workshop on Membrane Computing, WMC 2003, Tarragona, Spain, July 2003. Technical Report 28/03, Rovira i Virgili University, Tarragona, 2003.
I.I. Ardelean: The Relevance of Biomembranes for P Systems. Fundamenta Informaticae, 49,1–3 (2002), 35–43.
J.-P. Banâtre, A. Coutant, D. Le Métayer: A Parallel Machine for Multiset Transformation and Its Programming Style. Future Generation Computer Systems, 4 (1988), 133–144.
J.-P. Banâtre, P. Fradet, D. Le Métayer: Gamma and the Chemical Reaction Model: Fifteen Years After. In Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View. Lecture Notes in Computer Science, 2235, Springer, Berlin, 2001 [16], 17–44.
F. Bernardini, M. Gheorghe: Population P Systems. Journal of Universal Computer Science, 10,5 (2004), 509–539.
F. Bernardini, V. Manca: Dynamical Aspects of P Systems. BioSystems, 70,2 (2003), 85–93.
G. Berry, G. Boudol: The Chemical Abstract Machine. Theoretical Computer Science, 96 (1992), 217–248.
D. Besozzi: Computational and Modeling Power of P Systems. PhD Thesis, Univ. degli Studi di Milano, 2004.
D. Besozzi, C. Zandron, G. Mauri, N. Sabadini: P Systems with Gemmation of Mobile Membranes. In Proc. ICTCS 2001, Torino 2001? (A. Restivo, S.R. Della Rocca, L. Roversi, eds.), LNCS 2202, Springer, Berlin, 2001, 136–153.
C. Bonanno, V. Manca: Discrete Dynamics in Biological Models. Romanian Journal of Information Science and Technology, 5,1–2 (2002), 45–67.
C.S. Calude, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View. Lecture Notes in Computer Science, 2235, Springer, Berlin, 2001.
L. Cardelli: Brane Calculus. In Computational Methods in Systems Biology. International Conference CMSB 2004, Paris, France, May 2004, Revised Selected Papers, LNCS 3082, Springer-Verlag, Berlin, 2005, 257–280.
M. Cavaliere: Evolution-Communication P Systems. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Argeş, Romania, Revised Papers. Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003 [71], 134–145.
M. Cavaliere, P. Leupold: Evolution and Observation — A New Way to Look at Membrane Systems. In G. Mauri, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop, WMC2003, Tarragona, Spain, Revised Papers. Lecture Notes in Computer Science, 2933, Springer, Berlin, 2004 [57], 70–87.
M. Cavaliere, P. Leupold: Evolution and Observation. A Non-standard Way to Generate Formal Languages. Theoretical Computer Science, 321,2–3 (2004), 233–248.
M. Cavaliere, C. Martín-Vide, Gh. Păun, eds.: Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, February 2003. Technical Report 26/03, Rovira i Virgili University, Tarragona, 2003.
M. Cavaliere, D. Sburlan: Time-Independent P Systems. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365, Springer, Berlin, 2005 [59], 239–258.
M. Cavaliere, D. Sburlan: Time and Synchronization in Membrane Systems. Fundamenta Informaticae, 64 (2005), 65–77.
R. Ceterchi, R. Gramatovici, N. Jonoska, K.G. Subramanian: Generating Picture Languages with P Systems. In C. Martín-Vide, Gh. Păun, eds.: Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, February 2003. Technical Report 26/03, Rovira i Virgili University, Tarragona, 2003 [21], 85–100.
G. Ciobanu, Gh. Păun, Gh. Ştefănescu: Sevilla Carpets Associated with P Systems. In C. Martín-Vide, Gh. Păun, eds.: Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, February 2003. Technical Report 26/03, Rovira i Virgili University, Tarragona, 2003 [21], 135–140.
L. Colson, N. Jonoska, M. Margenstern: λP Systems and Typed λ-Calculus. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365, Springer, Berlin, 2005 [59], 1–18.
A. Cordón-Franco, F. Sancho-Caparrini: Approximating Non-discrete P Systems. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365, Springer, Berlin, 2005 [59], 288–296.
S. Crespi-Reghizzi, D. Mandrioli: Commutative Grammars. Calcolo, 13,2 (1976), 173–189.
E. Csuhaj-Varjú, J. Kelemen, A. Kelemenová, Gh. Păun, G. Vaszil: Cells in Environment: P Colonies. Multiple Valued Logic and Soft Computing Journal, to appear.
E. Csuhaj-Varju, G. Vaszil: P Automata or Purely Communicating Accepting P Systems. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Argeş, Romania, Revised Papers. Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003 [71], 219–233.
R. Freund, L. Kari, M. Oswald, P. Sosik: Computationally Universal P Systems Without Priorities: Two Catalysts Are Sufficient. Theoretical Computer Science, 330,2 (2005), 251–266.
R. Freund, M. Oswald: A Short Note on Analysing P Systems. Bulletin of the EATCS, 78 (2003), 231–236.
R. Freund, Gh. Păun, M.J. Pérez-Jiménez: Tissue-Like P Systems with Channel-States. Brainstorming Week on Membrane Computing, Sevilla, February 2004, TR 01/04 of Research Group on Natural Computing, Sevilla University, 2004, 206–223, and Theoretical Computer Science, 330, 1 (2005), 101–116.
P. Frisco: Theory of Molecular Computing. Splicing and Membrane Systems. PhD Thesis, Leiden University, The Netherlands, 2004.
P. Frisco, S. Ji: Towards a Hierarchy of Info-Energy P Systems. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Argeş, Romania, Revised Papers. Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003 [71], 302–318.
S.A. Greibach: Remarks on Blind and Partially Blind One-Way Multicounter Machines. Theoretical Computer Science, 7 (1978), 311–324.
M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos-Núñez: On Descriptive Complexity of P Systems. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365, Springer, Berlin, 2005 [59], 321–331.
T. Head: Formal Language Theory and DNA: An Analysis of the Generative Capacity of Specific Recombinant Behaviors. Bulletin of Mathematical Biology, 49 (1987), 737–759.
J. Hartmanis: About the Nature of Computer Science. Bulletin of the EATCS, 53 (1994), 170–190.
J. Hartmanis: On the Weight of Computation. Bulletin of the EATCS, 55 (1995), 136–138.
J. Hoffmeyer: Surfaces Inside Surfaces. On the Origin of Agency and Life. Cybernetics and Human Knowing, 5,1 (1998), 33–42.
M. Holcombe: Computational Models of Cells and Tissues: Machines, Agents and Fungal Infection. Briefings in Bioinformatics, 2,3 (2001), 271–278.
O.H. Ibarra: The Number of Membranes Matters. In G. Mauri, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop, WMC2003, Tarragona, Spain, Revised Papers. Lecture Notes in Computer Science, 2933, Springer, Berlin, 2004 [57], 218–231.
O.H. Ibarra: On Membrane Hierarchy in P Systems. Theoretical Computer Science, 334,1–3 (2005), 115–129.
O.H. Ibarra: On Determinism Versus Nondeterminism in P Systems. Theoretical Computer Science, to appear. Available at http://psystems.disco.unimib.it.
O.H. Ibarra, H.-C. Yen, Z. Dang: The Power of Maximal Parallelism in P Systems. Proceedings of the Eighth Conference on Developments in Language Theory, Auckland, New Zealand, 2004 (C.S. Calude, E. Calude, M.J. Dinneed, eds.), LNCS 3340, Springer, Berlin, 2004, 212–224.
M. Ionescu, T.-O. Ishdorj: Replicative-Distribution Rules in P Systems with Active Membranes. Proc. of ICTAC2004, First Intern. Colloq. on Theoretical Aspects of Computing, Guiyang, China, 2004.
H. Kitano: Computational Systems Biology. Nature, 420,14 (2002), 206–210.
S.N. Krishna, R. Rama: P Systems with Replicated Rewriting. Journal of Automata, Languages and Combinatorics, 6,3 (2001), 345–350.
S.N. Krishna, R. Rama, H. Ramesh: Further Results on Contextual and Rewriting P Systems. Fundamenta Informaticae, 64 (2005), 235–246.
A. Leporati, C. Zandron, G. Mauri. Simulating the Fredkin Gate with Energy-Based P systems. Journal of Universal Computer Science, 10,5 (2004), 600–619.
A. Leporati, C. Zandron, G. Mauri: Universal Families of Reversible P Systems. Proc. Conf. Universal Machines and Computations 2004, St. Petersburg, 2004 (M. Margenstern, ed.), LNCS 3354, Springer, Berlin, 2005, 257–268.
W.R. Loewenstein: The Touchstone of Life. Molecular Information, Cell Communication, and the Foundations of Life. Oxford University Press, New York, Oxford, 1999.
M. Madhu, K. Krithivasan: Improved Results About the Universality of P Systems. Bulletin of the EATCS, 76 (2002), 162–168.
V. Manca: String Rewriting and Metabolism. A Logical Perspective. In Computing with Biomolecules. Theory and Experiments (Gh. Păun, ed.), Springer, Singapore, 1998, 36–60.
S. Marcus: Bridging P Systems and Genomics: A Preliminary Approach. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Argeş, Romania, Revised Papers. Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003 [71], 371–376.
C. Martín-Vide, G. Mauri, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop, WMC2003, Tarragona, Spain, Revised Papers. Lecture Notes in Computer Science, 2933, Springer, Berlin, 2004.
C. Martín-Vide, Gh. Păun, J. Pazos, A. Rodríguez-Patón: Tissue P Systems. Theoretical Computer Science, 296,2 (2003), 295–326.
G. Mauri, Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milan, Italy, 2004. Revised Papers, Lecture Notes in Computer Science, 3365, Springer, Berlin, 2005.
M. Minsky: Computation — Finite and Infinite Machines. Prentice Hall, Englewood Cliffs, NJ, 1967.
T.Y. Nishida: Simulations of Photosynthesis by a Ksubset Transforming System with Membranes. Fundamenta Informaticae, 49,1–3 (2002), 249–259.
A. Păun, Gh. Păun: The Power of Communication: P Systems with Symport/Antiport. New Generation Computing, 20,3 (2002), 295–306.
Gh. Păun: Marcus Contextual Grammars. Kluwer, Dordrecht, 1997.
Gh. Păun: Computing with Membranes. Journal of Computer and System Sciences, 61,1 (2000), 108–143 (and Turku Center for Computer Science-TUCS Report 208, November 1998, www.tucs.fi).
Gh. Păun: From Cells to Computers: Computing with Membranes (P Systems). BioSystems, 59,3 (2001), 139–158.
Gh. Păun: P Systems with Active Membranes: Attacking NP-Complete Problems. Journal of Automata, Languages and Combinatorics, 6,1 (2001), 75–90.
Gh. Păun: Membrane Computing. An Introduction. Springer, Berlin, 2002.
Gh. Păun: Grammar Systems vs. Membrane Computing: A Preliminary Approach. Workshop on Grammar Systems, MTA SZTAKI, Budapest, 2004, 225–245.
Gh. Păun, J. Pazos, M.J. Pérez-Jiménez, A. Rodríguez-Patón: Symport/Antiport P Systems with Three Objects Are Universal. Fundamenta Informaticae, 64 (2005), 345–358.
Gh. Păun, G. Rozenberg, A. Salomaa: DNA Computing. New Computing Paradigms. Springer, Berlin, 1998.
Gh. Păun, G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Argeş, Romania, Revised Papers. Lecture Notes in Computer Science, 2597, Springer, Berlin, 2003.
M. Pérez-Jiménez, A. Romero-Jiménez, F. Sancho-Caparrini: Teoría de la Complejidad en Modelos de Computatión Celular con Membranas. Editorial Kronos, Sevilla, 2002.
B. Petreska, C. Teuscher: A Hardware Membrane System. In G. Mauri, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop, WMC2003, Tarragona, Spain, Revised Papers. Lecture Notes in Computer Science, 2933, Springer, Berlin, 2004 [57], 269–285.
A. Regev, E.M. Panina, W. Silverman, L. Cardelli, E. Shapiro: BioAmbients — An Abstraction for Biological Compartments. Theoretical Computer Science, 325 (2004), 141–167.
A. Riscos-Núñez: Programacion celular. Resolucion eficiente de problemas numericos NP-complete. PhD Thesis, Univ. Sevilla, 2004.
P. Sosik: The Computational Power of Cell Division in P Systems: Beating Down Parallel Computers? Natural Computing, 2,3 (2003), 287–298.
P. Sosik, J. Matysek: Membrane Computing: When Communication Is Enough. In Unconventional Models of Computation 2002 (C.S. Calude, M.J. Dinneen, F. Peper, eds.), LNCS 2509, Springer, Berlin, 2002, 264–275.
M. Tomita: Whole-Cell Simulation: A Grand Challenge of the 21st Century. Trends in Biotechnology, 19 (2001), 205–210.
G. Vaszil: On the Size of P Systems with Minimal Symport/Antiport. In Pre-Proceedings of Workshop on Membrane Computing, WMC5, Milano, Italy, June 2004, 422–431.
C. Zandron: A Model for Molecular Computing: Membrane Systems. PhD Thesis, Univ. degli Studi di Milano, 2001.
C. Zandron, C. Ferretti, G. Mauri: Solving NP-Complete Problems Using P Systems with Active Membranes. In Unconventional Models of Computation (I. Antoniou, C.S. Calude, M.J. Dinneen, eds.), Springer, London, 2000, 289–301.
The Web Page of Membrane Computing: http://psystems.disco.unimib.it.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Păun, G. (2006). Introduction to Membrane Computing. In: Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds) Applications of Membrane Computing. Natural Computing Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-29937-8_1
Download citation
DOI: https://doi.org/10.1007/3-540-29937-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25017-3
Online ISBN: 978-3-540-29937-0
eBook Packages: Computer ScienceComputer Science (R0)