Bridging Deterministic P Systems and Conditional Grammars

We continue the line of research of deterministic parallel non-cooperative multiset rewriting with control. We here generalize control, i.e., rule applicability context conditions, from promoters and inhibitors, which are checking presence or absence of certain objects up to some bound, to regular and even stronger predicates, focusing on predicates over the multiplicity of one symbol at a time.

[1]  Artiom Alhazov,et al.  The Family of Languages Generated by Non-cooperative Membrane Systems , 2010, Int. Conf. on Membrane Computing.

[2]  Mihai Ionescu,et al.  On P Systems with Promoters/Inhibitors , 2004, J. Univers. Comput. Sci..

[3]  Dragos Sburlan.  Further results on P systems with promoters/inhibitors , 2006, Int. J. Found. Comput. Sci..

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

[5]  Marian Gheorghe,et al.  Research Frontiers of membrane Computing: Open Problems and Research Topics , 2013, Int. J. Found. Comput. Sci..

[6]  Artiom Alhazov,et al.  Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts , 2004, Workshop on Membrane Computing.

[7]  Grzegorz Rozenberg,et al.  A Study in Parallel Rewriting Systems , 1980, Inf. Control..

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

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

[10]  Artiom Alhazov,et al.  Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems , 2014, Int. Conf. on Membrane Computing.

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

[12]  Artiom Alhazov,et al.  Deterministic Non-cooperative P Systems with Strong Context Conditions , 2015 .

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

[14]  Artiom Alhazov,et al.  Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN , 2012, Int. Conf. on Membrane Computing.

[15]  Artiom Alhazov,et al.  Small P Systems Defining Non-semilinear Sets , 2015 .

[16]  Artiom Alhazov,et al.  Promoters and Inhibitors in Purely Catalytic P Systems , 2014, Int. Conf. on Membrane Computing.