Derivation Languages of Splicing P Systems

Labelled splicing P systems are distributed parallel computing models, where sets of strings that evolve by splicing rules are labelled. In this work, we consider labelled splicing systems with the following modifications: (i) The strings in the membranes are present in arbitrary number of copies; (ii) the rules in the regions are finite in number. Results on the language family generated by the labelled splicing system in comparison with the language families of the Chomsky hierarchy, including recursively enumerable languages, are obtained, by involving only either one or two membranes in the P systems considered.

[1]  Grzegorz Rozenberg,et al.  Introduction: DNA Computing in a Nutshell , 1998 .

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

[3]  Kamala Krithivasan,et al.  Control Words of Transition P Systems , 2012, BIC-TA.

[4]  Rudolf Freund,et al.  DNA Computing Based on Splicing: The Existence of Universal Computers , 1999, Theory of Computing Systems.

[5]  Gheorghe Paun,et al.  Language Theory and Molecular Genetics: Generative Mechanisms Suggested by DNA Recombination , 1997, Handbook of Formal Languages.

[6]  Gheorghe Paun,et al.  On Controlled P Systems , 2014, Fundam. Informaticae.

[7]  Linqiang Pan,et al.  Spiking Neural P Systems With Rules on Synapses Working in Maximum Spikes Consumption Strategy , 2015, IEEE Transactions on NanoBioscience.

[8]  Ion Petre,et al.  Accepting splicing systems , 2010, Theor. Comput. Sci..

[9]  Linqiang Pan,et al.  Cell-like spiking neural P systems , 2016, Theor. Comput. Sci..

[10]  Maurice Margenstern,et al.  About Splicing P Systems with One Membrane , 2005, Fundam. Informaticae.

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

[12]  Rudolf Freund,et al.  Splicing Test Tube Systems and Their Relation to Splicing Membrane Systems , 2004, Aspects of Molecular Computing.

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

[14]  Andrei Paun,et al.  On the Universality of Axon P Systems , 2015, IEEE Transactions on Neural Networks and Learning Systems.

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

[16]  Linqiang Pan,et al.  Spiking Neural P Systems With Communication on Request and Mute Rules , 2017, IEEE Transactions on Parallel and Distributed Systems.

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

[18]  Xingyi Zhang,et al.  Spiking Neural P Systems With White Hole Neurons , 2016, IEEE Transactions on NanoBioscience.

[19]  Artiom Alhazov,et al.  On Small Universal Splicing Systems , 2012, Int. J. Found. Comput. Sci..