ON ONE-MEMBRANE P SYSTEMS OPERATING IN SEQUENTIAL MODE

Abstract

In the standard definition of a P system, a computation step consists of a parallel application of a "maximal" set of nondeterministically chosen rules. Referring to this system as a parallel P system, we consider in this paper a sequential P system, in which each step consists of an application of a single nondeterministically chosen rule. We show the following:1. For 1-membrane purely catalytic systems (pure CS's), the sequential version is strictly weaker than the parallel version in that the former defines (i.e., generates) exactly the semilinear sets, whereas the latter is known to define nonrecursive sets.2. For 1-membrane communicating P systems (CPS's), the sequential version can only define a proper subclass of the semilinear sets, whereas the parallel version is known to define nonrecursive sets.3. Adding a new type of rule of the form: ab → axbyccomedcometo the CPS (a natural generalization of the rule ab → axbyccomein the original model), where x, y ∈ {here, out}, to the sequential 1-membrane CPS makes it equivalent to a vector addition system.4. Sequential 1-membrane symport/antiport systems (SA's) are equivalent to vector addition systems, contrasting the known result that the parallel versions can define nonrecursive sets.5. Sequential 1-membrane SA's whose rules have radius 1, (1,1), (1,2) (i.e., of the form (a, out), (a, in), (a, out; b, in), (a, out; bc, in)) generate exactly the semilinear sets. However, if the rules have radius 1, (1,1), (2,1) (i.e., of the form (ab, out; c, in)), the SA's can only generate a proper subclass of the semilinear sets.