P systems with randomized right-hand sides of rules

P systems are a model of distributed and compartmentalized multiset rewriting, complete with various signal transmission mechanisms. We introduce a novel kind of P systems in which rules are dynamically constructed in each step by non-deterministic pairing of left-hand and right-hand sides. We define three variants of right-hand side randomization and compare each of them with the power of conventional P systems. It turns out that all three variants enable non-cooperative P systems to generate exponential (and thus non-semi-linear) number languages. We also give a binary normal form for one of the variants of P systems with randomized rule right-hand sides. Finally, we also discuss extensions of the three variants to tissue P systems, i.e., P systems on an arbitrary graph structure.

[1]  Artiom Alhazov,et al.  Polymorphic P Systems , 2010, Int. Conf. on Membrane Computing.

[2]  Rudolf Freund,et al.  Flattening in (Tissue) P Systems , 2013, Int. Conf. on Membrane Computing.

[3]  Matteo Cavaliere,et al.  P Systems with Symport/Antiport of Rules , 2004, J. Univers. Comput. Sci..

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

[5]  Sergiu Ivanov.  Polymorphic P Systems with Non-cooperative Rules and No Ingredients , 2014, Int. Conf. on Membrane Computing.

[6]  Mihai Ionescu,et al.  Inhibiting/De-inhibiting Rules in P Systems , 2004, Workshop on Membrane Computing.

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

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

[9]  Rudolf Freund.  P Systems Working in the Sequential Mode on Arrays and Strings , 2004, Developments in Language Theory.

[10]  Péter Gács,et al.  A Turing Machine Resisting Isolated Bursts Of Faults , 2012, Chic. J. Theor. Comput. Sci..

[11]  Rudolf Freund,et al.  A Formal Framework for Static (Tissue) P Systems , 2007, Workshop on Membrane Computing.

[12]  Gheorghe Paun,et al.  Membrane Computing: The Power of (Rule) Creation , 2002, J. Univers. Comput. Sci..

[13]  Artiom Alhazov.  A Note on P Systems with Activators , 2004 .