Tissue-like P systems with evolutional symport/antiport rules

Tissue P systems with symport/antiport rules are a class of distributed parallel computing models inspired by the cell intercommunication in tissues, where objects are never modified in the process of communication, just changing their place within the system. In this work, a variant of tissue P systems, called tissue P systems with evolutional symport/antiport rules is introduced, where objects are moved from one region to another region and may be evolved during this process. The computational power of such P systems is studied. Specifically, it is proved that such P systems with one cell and using evolutional symport rules of length at most 3 or using evolutional antiport rules of length at most 4 are Turing universal (only the family of all finite sets of positive integers can be generated by such P systems if standard symport/antiport rules are used). Moreover, cell division rules are considered in tissue P systems with evolutional symport/antiport rules, and a limit on the efficiency of such P systems is provided with evolutional communication rules of length at most 2. The computational efficiency of this kind of models is shown when using evolutional communication rules of length at most 4.

[1]  Mario de Jesús Pérez Jiménez,et al.  Characterizing tractability by tissue-like p systems , 2009 .

[2]  Linqiang Pan,et al.  Flat maximal parallelism in P systems with promoters , 2016, Theor. Comput. Sci..

[3]  Andrei Paun,et al.  Computing by Communication in Networks of Membranes , 2002, Int. J. Found. Comput. Sci..

[4]  Yanjun Liu,et al.  Computational power of tissue P systems for generating control languages , 2014, Inf. Sci..

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

[6]  Hong Peng,et al.  An automatic clustering algorithm inspired by membrane computing , 2015, Pattern Recognit. Lett..

[7]  Xun Wang,et al.  Design of logic gates using spiking neural P systems with homogeneous neurons and astrocytes-like control , 2016, Inf. Sci..

[8]  Rudolf Freund,et al.  (Tissue) P systems working in the k-restricted minimally or maximally parallel transition mode , 2010, Natural Computing.

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

[10]  Mario J. Pérez-Jiménez,et al.  An efficient time-free solution to SAT problem by P systems with proteins on membranes , 2016, J. Comput. Syst. Sci..

[11]  Mario J. Pérez-Jiménez,et al.  Computational efficiency and universality of timed P systems with membrane creation , 2015, Soft Comput..

[12]  Linqiang Pan,et al.  Time-free solution to SAT problem by P systems with active membranes and standard cell division rules , 2014, Natural Computing.

[13]  Mario de Jesús Pérez Jiménez,et al.  Computational Efficiency of Cellular Division in Tissue-like Membrane Systems , 2008 .

[14]  Tao Wang,et al.  Weighted Fuzzy Spiking Neural P Systems , 2013, IEEE Transactions on Fuzzy Systems.

[15]  Marian Gheorghe,et al.  Evolutionary membrane computing: A comprehensive survey and new results , 2014, Inf. Sci..

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

[17]  Marvin Minsky,et al.  Computation : finite and infinite machines , 2016 .

[18]  Mario J. Pérez-Jiménez,et al.  An Approach to Computational Complexity in Membrane Computing , 2004, Workshop on Membrane Computing.

[19]  Raghavan Rama,et al.  Tissue P Systems with Contextual and Rewriting Rules , 2002, WMC-CdeA.

[20]  Marian Gheorghe,et al.  Testing based on identifiable P Systems using cover automata and X-machines , 2016, Inf. Sci..

[21]  Mario J. Pérez-Jiménez,et al.  Characterizing Tractability by Tissue-Like P Systems , 2009, Workshop on Membrane Computing.

[22]  Oscar H. Ibarra,et al.  On spiking neural P systems , 2006, Natural Computing.

[23]  Hong Peng,et al.  Fuzzy reasoning spiking neural P system for fault diagnosis , 2013, Inf. Sci..

[24]  Vincenzo Manca,et al.  P Systems with Boundary Rules , 2002, WMC-CdeA.

[25]  Mario J. Pérez-Jiménez,et al.  A uniform family of tissue P systems with cell division solving 3-COL in a linear time , 2008, Theor. Comput. Sci..

[26]  Mario J. Pérez-Jiménez,et al.  The P Versus NP Problem Through Cellular Computing with Membranes , 2004, Aspects of Molecular Computing.

[27]  Hong Peng,et al.  Membrane computing model for IIR filter design , 2016, Inf. Sci..

[28]  Matteo Cavaliere Evolution-Communication P Systems , 2002, WMC-CdeA.

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

[30]  Hong Peng,et al.  An unsupervised learning algorithm for membrane computing , 2015, Inf. Sci..

[31]  Artiom Alhazov,et al.  Polarizationless P Systems with Active Membranes , 2004, Grammars.

[32]  Gheorghe Paun,et al.  The Oxford Handbook of Membrane Computing , 2010 .

[33]  Andrei Paun,et al.  The power of communication: P systems with symport/antiport , 2002, New Generation Computing.

[34]  Bosheng Song,et al.  Membrane fission: A computational complexity perspective , 2016, Complex..

[35]  Rudolf Freund,et al.  On The Semantics of Annihilation Rules in Membrane Computing , 2015 .

[36]  Alfonso Rodríguez-Patón,et al.  A New Class of Symbolic Abstract Neural Nets: Tissue P Systems , 2002, COCOON.

[37]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

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

[39]  Linqiang Pan,et al.  Computational efficiency and universality of timed P systems with active membranes , 2015, Theor. Comput. Sci..

[40]  Mario J. Pérez-Jiménez,et al.  Computational complexity of tissue-like P systems , 2010, J. Complex..

[41]  Rudolf Freund,et al.  Tissue P systems with channel states , 2005, Theor. Comput. Sci..

[42]  Mario de Jesús Pérez Jiménez,et al.  An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division , 2012 .

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

[44]  Artiom Alhazov,et al.  (Tissue) P Systems with Unit Rules and Energy Assigned to Membranes , 2006, Fundam. Informaticae.

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

[46]  Grzegorz Rozenberg,et al.  Handbook of formal languages, vol. 3: beyond words , 1997 .

[47]  Xiangrong Liu,et al.  On languages generated by spiking neural P systems with weights , 2014, Inf. Sci..

[48]  Linqiang Pan,et al.  Asynchronous spiking neural P systems with local synchronization , 2013, Inf. Sci..

[49]  Gheorghe Păun,et al.  Tissue P Systems with Cell Division , 2008, Int. J. Comput. Commun. Control.