An Overview of Membrane Computing

School of Computer and Information, Anqing Normal University, Anqing 246133, Anhui, ChinaMembrane computing is a new branch of natural computing whose aim is to abstract computingideas from the structure and the functioning of living cells, as well as from the cell cooperationin tissues, populations of cells and the brain. The obtained models are called P systems. Theresearch in this area developed very fast, both towards theory, such as Turing computability, lan-guage and automata theory (e.g., characterizations of Turing completeness), computational effi-ciency (polynomial solutions to NP-complete problems by trading off time to space) and applications(in system biology, bio-medicine, computer graphics, approximate optimization, robot control, cryp-tography, ecology and economics modeling, etc.). There are three main classes of P systems: (1)cell-like P systems inspired from living cells, (2) tissue-like P systems inspired from tissues, and(3) neural-like P systems inspired from neural systems. In this paper, we briefly introduce cell-likeand tissue-like P systems, and then discuss a class of neural-like P systems, called spiking neuralP systems, in details: the formal definition of the system is firstly introduced, and some results ofthe systems are recalled in two aspects: computational completeness and computational efficiency.

[1]  Rudolf Freund,et al.  Asynchronous P Systems and P Systems Working in the Sequential Mode , 2004, Workshop on Membrane Computing.

[2]  Rudolf Freund,et al.  On String Languages Generated by Spiking Neural P Systems , 2007, Fundam. Informaticae.

[3]  Alberto Leporati,et al.  Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources , 2008, Natural Computing.

[4]  Giancarlo Mauri,et al.  Uniform solutions to SAT and Subset Sum by spiking neural P systems , 2008, Natural Computing.

[5]  Andrei Paun,et al.  Small universal spiking neural P systems , 2007, Biosyst..

[6]  Oscar H. Ibarra,et al.  On spiking neural P systems and partially blind counter machines , 2006, Natural Computing.

[7]  Pan Linqiang,et al.  Spiking neural P systems with neuron division and budding , 2011 .

[8]  Marian Gheorghe,et al.  Population P Systems , 2004, J. Univers. Comput. Sci..

[9]  Giancarlo Mauri,et al.  On the Computational Power of Spiking Neural P Systems , 2007, Int. J. Unconv. Comput..

[10]  Rudolf Freund,et al.  Tissue-like P Systems with Channel-States , 2004 .

[11]  Gheorghe Paun,et al.  Spiking Neural dP Systems , 2011, Fundam. Informaticae.

[12]  Xiangxiang Zeng,et al.  Homogeneous Spiking Neural P Systems , 2009, Fundam. Informaticae.

[13]  L. Pan,et al.  Small universal spiking neural P systems with exhaustive use of rules , 2008, 2008 3rd International Conference on Bio-Inspired Computing: Theories and Applications.

[14]  Mihai Ionescu,et al.  On the Efficiency of Spiking Neural P Systems , 2006 .

[15]  Alfonso Rodríguez-Patón,et al.  Tissue P systems , 2003, Theor. Comput. Sci..

[16]  Xiangxiang Zeng,et al.  On languages generated by asynchronous spiking neural P systems , 2009, Theor. Comput. Sci..

[17]  Xiangxiang Zeng,et al.  Smaller Universal Spiking Neural P Systems , 2008, Fundam. Informaticae.

[18]  Xiangxiang Zeng,et al.  A Note on Small Universal Spiking Neural P Systems , 2009, Workshop on Membrane Computing.

[19]  Oscar H. Ibarra,et al.  Characterizations of some classes of spiking neural P systems , 2008, Natural Computing.

[20]  Xiangxiang Zeng,et al.  On string languages generated by spiking neural P systems with exhaustive use of rules , 2008, Natural Computing.

[21]  Gheorghe Păun,et al.  Spiking Neural P Systems with Weights , 2010, Neural Computation.

[22]  Xiangxiang Zeng,et al.  Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources , 2010, Theor. Comput. Sci..

[23]  Haiming Chen,et al.  Spiking neural P systems with extended rules: universality and languages , 2006, Natural Computing.

[24]  Giancarlo Mauri,et al.  Solving Numerical NP-Complete Problems with Spiking Neural P Systems , 2007, Workshop on Membrane Computing.

[25]  Linqiang Pan,et al.  Spiking neural P systems: An improved normal form , 2010, Theor. Comput. Sci..

[26]  Linqiang Pan,et al.  Spiking Neural P Systems with Neuron Division , 2010, Int. Conf. on Membrane Computing.

[27]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

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

[29]  Gheorghe Paun,et al.  Spike Trains in Spiking Neural P Systems , 2006, Int. J. Found. Comput. Sci..

[30]  Xiangxiang Zeng,et al.  Time-Free Spiking Neural P Systems , 2011, Neural Computation.

[31]  Gheorghe Paun,et al.  Spiking Neural P Systems with an Exhaustive Use of Rules , 2007, Int. J. Unconv. Comput..

[32]  Oscar H. Ibarra,et al.  Asynchronous spiking neural P systems , 2009, Theor. Comput. Sci..

[33]  Gabriel Ciobanu,et al.  P systems with minimal parallelism , 2007, Theor. Comput. Sci..

[34]  Oscar H. Ibarra,et al.  Normal forms for spiking neural P systems , 2007, Theor. Comput. Sci..

[35]  Oscar H. Ibarra,et al.  Sequential SNP systems based on min/max spike number , 2009, Theor. Comput. Sci..

[36]  Xiangxiang Zeng,et al.  Spiking Neural P Systems with Weighted Synapses , 2011, Neural Processing Letters.