The Minimal Parallelism Is Still Universal

A current research topic in membrane computing is to find more (biologically) realistic P systems, and one target in this respect is to relax the condition of using the rules in a maximally parallel way. We contribute in this paper by considering a minimal parallelism: if a rule from a set of rules within a membrane or a region may be used, then at least one rule from that membrane or region could be used. Restrictive as it might look, this minimal parallelism still leads to universality, at least for the case of symport/antiport rules. The result is obtained both for generating and accepting P systems, in the latter case also for systems working deterministically. The problem remains open for other classes of P systems.

[1]  Gorjan Alagic,et al.  #p , 2019, Quantum information & computation.

[2]  Gabriel Ciobanu,et al.  Applications of Membrane Computing , 2006, Applications of Membrane Computing.

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

[4]  Andrei Paun,et al.  The power of communication: P systems with symport/antiport , 2002, New Generation Computing.

[5]  Rudolf Freund,et al.  Asynchronous P Systems and P Systems Working in the Sequential Mode , 2004, Workshop on Membrane Computing.

[6]  GH , 2019, Springer Reference Medizin.

[7]  Oscar H. Ibarra,et al.  On P Systems Operating in Sequential Mode , 2004, DCFS.

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

[9]  J. Davies,et al.  Molecular Biology of the Cell , 1983, Bristol Medico-Chirurgical Journal.

[10]  Ursula Dresdner,et al.  Computation Finite And Infinite Machines , 2016 .

[11]  Mario J. Pérez-Jiménez,et al.  Computationally Hard Problems Addressed Through P Systems , 2006, Applications of Membrane Computing.

[12]  Gheorghe Paun,et al.  Grammar Systems: A Grammatical Approach to Distribution and Cooperation , 1995, ICALP.