Recently a new framework based on multiset approximation spaces were introduced for modeling the abstract notion of “closeness to membranes” in P systems. In real biotic/chemical interactions, however, objects not only have to be close enough to membranes, so that they are able to pass through them, but they also need to be in an unstable state, in a state where they are ready to engage into any type of interactions at all. In order to develop these ideas, we employ multiset approximation spaces for the description of stability and instability. We also demonstrate how the applicability and the use of reaction rules can be regulated during computations using the notion of membrane boundaries. An important feature of this type of regulation is the fact that it does not rely on the maximal parallel way of rule application, therefore it can be used to enhance the computational power of systems with asynchronous, sequential, or any other type of derivation modes. As an example, we show how P systems can generate any recursively enumerable set of numbers independently of the applied derivation mode, which is interesting, since without membrane boundaries asynchronous or sequential systems generate the Parikh sets of matrix languages only.
[1]
Z. Pawlak.
Rough Sets: Theoretical Aspects of Reasoning about Data
,
1991
.
[2]
Gheorghe Paun,et al.
The Oxford Handbook of Membrane Computing
,
2010
.
[3]
Andrei Paun,et al.
The power of communication: P systems with symport/antiport
,
2002,
New Generation Computing.
[4]
Tamás Mihálydeák,et al.
Membranes with Boundaries
,
2012,
Int. Conf. on Membrane Computing.
[5]
Tamás Mihálydeák,et al.
Communication Rules Controlled by Generated Membrane Boundaries
,
2013,
Int. Conf. on Membrane Computing.
[6]
Tamás Mihálydeák,et al.
Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries
,
2014,
CiE.
[7]
Marvin Minsky,et al.
Computation : finite and infinite machines
,
2016
.
[8]
Gheorghe Paun,et al.
Computing with Membranes
,
2000,
J. Comput. Syst. Sci..
[9]
Gheorghe Paun,et al.
Membrane Computing
,
2002,
Natural Computing Series.
[10]
Jerzy W. Grzymala-Busse,et al.
Rough Sets
,
1995,
Commun. ACM.
[11]
Rudolf Freund,et al.
Membrane Systems with Symport/Antiport Rules: Universality Results
,
2002,
WMC-CdeA.