Tissue P Systems with Point Mutation Rules

We consider tissue P systems working in the sequential mode on vesicles of multisets with the very simple operations of insertion, deletion, and substitution of single objects. In a computation step, one rule is to be applied if possible, and then, in any case, the whole multiset being enclosed in a vesicle moves to one of the cells as indicated by the underlying graph structure of the system. The target cell is chosen in a non-deterministic way and does not depend on the possibly applied rule. With defining halting as reaching the final cell with a vesicle only containing terminal symbols, computational completeness can be obtained. Imposing the restriction that in each derivation step one rule has to be applied, we only reach the computational power of matrix grammars for multisets. Moreover, we also discuss variants for computations on strings. Finally, we outline a way how to “go beyond Turing” like with red-green register machines.

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

[2]  Victor Mitrana,et al.  On the computational power of networks of polarized evolutionary processors , 2017, Inf. Comput..

[3]  Rudolf Freund,et al.  Matrix Languages, Register Machines, Vector Addition Systems , 2005 .

[4]  Rudolf Freund,et al.  Going Beyond Turing with P Automata: Regular Observer ω-Languages and Partial Adult Halting , 2016, Int. J. Unconv. Comput..

[5]  Stefan Popescu Networks of polarized evolutionary processors with elementary polarization of symbols , 2016, NCMA.

[6]  Artiom Alhazov,et al.  P Systems with Toxic Objects , 2014, Int. Conf. on Membrane Computing.

[7]  Victor Mitrana,et al.  Networks of evolutionary processors , 2003, Acta Informatica.

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

[9]  Artiom Alhazov,et al.  (Tissue) P Systems with Vesicles of Multisets , 2017, AFL.

[10]  Rudolf Freund,et al.  Refining the Nonterminal Complexity of Graph-Controlled, Programmed, and Matrix Grammars , 2007, J. Autom. Lang. Comb..

[11]  Artiom Alhazov,et al.  P Systems Working in Maximal Variants of the Set Derivation Mode , 2016, Int. Conf. on Membrane Computing.

[12]  Rudolf Freund,et al.  Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings , 2007, Electron. Notes Theor. Comput. Sci..

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

[14]  Cristian S. Calude,et al.  Bio-steps beyond Turing. , 2004, Bio Systems.

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

[16]  Petr Sosík,et al.  On Evolutionary Lineages of Membrane Systems , 2005, Workshop on Membrane Computing.

[17]  Rudolf Freund,et al.  Red-Green P Automata , 2014, Int. Conf. on Membrane Computing.

[18]  Jürgen Dassow,et al.  Applications of Regulated Rewriting , 1989 .

[19]  Rudolf Freund,et al.  omega-P Automata with Communication Rules , 2003, Workshop on Membrane Computing.

[20]  Victor Mitrana,et al.  Networks of Polarized Evolutionary Processors Are Computationally Complete , 2014, LATA.

[21]  Victor Mitrana,et al.  Hybrid networks of evolutionary processors are computationally complete , 2004, Acta Informatica.

[22]  Rudolf Freund,et al.  Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors , 2017, DCFS.

[23]  Henning Fernau Unconditional transfer in regulated rewriting , 1997, Acta Informatica.

[24]  Rudolf Freund,et al.  A General Framework for Regulated Rewriting Based on the Applicability of Rules , 2011, Computation, Cooperation, and Life.

[25]  Manfred Kudlek,et al.  Toward a Formal Macroset Theory , 2000, WMP.

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

[27]  Rudolf Freund P Systems working in the sequential mode on arrays and strings , 2005, Int. J. Found. Comput. Sci..

[28]  Artiom Alhazov,et al.  Sequential P Systems with Regular Control , 2012, Int. Conf. on Membrane Computing.

[29]  Rudolf Freund,et al.  Graph-Controlled Insertion-Deletion Systems , 2010, DCFS.

[30]  Rudolf Freund,et al.  Generating and accepting P systems with minimal left and right insertion and deletion , 2013, Natural Computing.

[31]  Jan van Leeuwen,et al.  Computation as an unbounded process , 2012, Theor. Comput. Sci..

[32]  Rudolf Freund,et al.  Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer ω-Languages , 2015, UCNC.

[33]  Rudolf Freund,et al.  How to Obtain Computational Completeness in P Systems with One Catalyst , 2013, MCU.

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