From cells to computers: computing with membranes (P systems).

The aim of this paper is to introduce to the reader the main ideas of computing with membranes, a recent branch of (theoretical) molecular computing. In short, in a cell-like system, multisets of objects evolve according to given rules in the compartments defined by a membrane structure and compute natural numbers as the result of halting sequences of transitions. The model is parallel, nondeterministic. Many variants have already been considered and many problems about them were investigated. We present here some of these variants, focusing on two central classes of results: (1) characterizations of the recursively enumerable sets of numbers and (2) possibilities to solve NP-complete problems in polynomial--even linear--time (of course, by making use of an exponential space). The results are given without proofs. An almost complete bibliography of the domain, at the middle of October 2000, is also provided.

[1]  Andrei Păun,et al.  On membrane computing based on splicing , 2001, Where Mathematics, Computer Science, Linguistics and Biology Meet.

[2]  Victor Mitrana,et al.  P Systems with Valuations , 2000, UMC.

[3]  T. Head.  Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. , 1987, Bulletin of mathematical biology.

[4]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.

[5]  J. Graham,et al.  Membrane structure and function , 1989 .

[6]  Gheorghe Paun.  Computing with Membranes: A Variant , 1999 .

[7]  Carlos Martín-Vide,et al.  Computing with Membranes: One More Collapsing Hierarchy , 2000, Bull. EATCS.

[8]  Rudolf Freund,et al.  Generalized P-Systems with Splicing and Cutting/Recombination , 1999, Grammars.

[9]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[10]  Carlos Martín-Vide,et al.  A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems , 2001, Words, Semigroups, and Transductions.

[11]  Vincenzo Manca.  Monoidal Systems and Membrane Systems , 2000 .

[12]  Gabriel Ciobanu,et al.  P System Software Simulator , 2002, Fundam. Informaticae.

[13]  Gheorghe Paun,et al.  Simulating H Systems by P Systems , 2000, J. Univers. Comput. Sci..

[14]  Bruce Alberts,et al.  Essential Cell Biology , 1983 .

[15]  Moshe Sipper.  Studying artificial life using a simple, general cellular model , 1995 .

[16]  Gheorghe Paun,et al.  Computing with Membranes: An Introduction , 1999, Bull. EATCS.

[17]  Robin Milner.  An Action Structure for Synchronous pi-Calculus , 1993, FCT.

[18]  R J Lipton,et al.  DNA solution of hard computational problems. , 1995, Science.

[19]  Ion Petre,et al.  Mobile Ambients and P-Systems , 1999, J. Univers. Comput. Sci..

[20]  Christel Baier,et al.  On Topological Hierarchies of Temporal Properties , 1997, Fundam. Informaticae.

[21]  Carlos Martín-Vide,et al.  Membrane systems with carriers , 2002, Theor. Comput. Sci..

[22]  Gheorghe Paun,et al.  Regulated Rewriting in Formal Language Theory , 1989 .

[23]  D. Bray.  Protein molecules as computational elements in living cells , 1995, Nature.

[24]  Rudolf Freund.  Generalized P-Systems , 1999, FCT.

[25]  Raghavan Rama,et al.  P Systems with Picture Objects , 2001, Acta Cybernetica.

[26]  Rudolf Freund,et al.  Molecular Computing with Generalized Homogeneous P-Systems , 2000, DNA Computing.

[27]  Gheorghe Paun.  Computing with Membranes (P Systems): A Variant , 2000, Int. J. Found. Comput. Sci..

[28]  Giancarlo Mauri,et al.  Two Normal Forms for Rewriting P Systems , 2001, MCU.

[29]  Gheorghe P un.  Six nonterminals are enough for generating each r.e. language by a matrix grammar , 1984 .

[30]  Alfonso Rodríguez-Patón,et al.  Computing with membranes: P systems with worm-objects , 2000, Proceedings Seventh International Symposium on String Processing and Information Retrieval. SPIRE 2000.

[31]  Gheorghe Paun.  P Systems with Active Membranes: Attacking NP-Complete Problems , 2001, J. Autom. Lang. Comb..

[32]  David I. Lewin,et al.  DNA computing , 2002, Comput. Sci. Eng..

[33]  G. Mauri,et al.  Universality and Normal Forms on Membrane Systems , 2000 .

[34]  Carlos Martín-Vide,et al.  Recursive Calculus with Membranes , 2002, Fundam. Informaticae.

[35]  Gheorghe Paun,et al.  Computing with Membranes: Attacking NP-Complete Problems , 2000, UMC.

[36]  Tim Hackworth,et al.  Combining Richardson's equations with canard explosion theory in a genetic algorithm to predict instabilities in the India/Pakistan arms race , 2001, Int. J. Comput. Math..

[37]  Gheorghe Paun,et al.  Membrane Computing with External Output , 2000, Fundam. Informaticae.

[38]  Gheorghe Paun,et al.  On Synchronization in P Systems , 1999, Fundam. Informaticae.

[39]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[40]  Gheorghe Paun,et al.  DNA Computing: New Computing Paradigms , 1998 .

[41]  Gheorghe Paun,et al.  On the Power of Membrane Computing , 1999, J. Univers. Comput. Sci..

[42]  J.,et al.  Using DNA to Solve NP-Complete ProblemsRichard , 1995 .

[43]  Adrian ATANASIU,et al.  P-Systems and Context Free Languages , 2022 .

[44]  N. Blackstone.  Essential Cell Biology: An Introduction to the Molecular Biology of the Cell.Bruce Alberts , Dennis Bray , Alexander Johnson , Julian Lewis , Martin Raff , Keith Roberts , Peter Walter , 1998 .

[45]  Ion Petre,et al.  A Normal form for P-Systems , 1999, Bull. EATCS.

[46]  Gheorghe Paun,et al.  P systems with energy accounting , 2001, Int. J. Comput. Math..

[47]  Carlos Martín-Vide,et al.  String-Objects in P Systems (Algebraic Systems, Formal Languages and Computations) , 2000 .

[48]  G Paun,et al.  Computing with Membranes (P Systems): Twenty Six Research Topics , 2000 .

[49]  Raghavan Rama,et al.  A Note on Parallel Rewriting in P Systems , 2001, Bull. EATCS.

[50]  Giancarlo Mauri,et al.  Solving NP-Complete Problems Using P Systems with Active Membranes , 2000, UMC.

[51]  A. Emons,et al.  Boekbespreking: Molecular biology of the cell, B. Alberts, D. Bray, J. Lewis, M. Raff, K. Robers, D.J. Watson. Garland Publ., New York. 1989. , 1990 .

[52]  Giancarlo Mauri,et al.  Using membrane features in P-systems , 2001 .

[53]  W. Loewenstein,et al.  The Touchstone of Life: Molecular Information, Cell Communication, and the Foundations of Life , 1999 .