Hierarchical P Systems with Randomized Right-Hand Sides of Rules

P systems are a model of hierarchically compartmentalized multiset rewriting. 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.

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

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

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

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

[5]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.

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

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

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

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

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

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

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

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

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