Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Theoretical Computer Science - Natural computing
The power of communication: P systems with symport/antiport
New Generation Computing
Computing with Membranes
Computationally universal P systems without priorities: two catalysts are sufficient
Theoretical Computer Science - Descriptional complexity of formal systems
The Mathematical Theory of Context-Free Languages
The Mathematical Theory of Context-Free Languages
The power of maximal parallelism in p systems
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Using well-structured transition systems to decide divergence for catalytic P systems
Theoretical Computer Science
A look back at some early results in membrane computing
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Properties of membrane systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Hi-index | 0.00 |
We look at a 1-membrane catalytic P system with evolution rules of the form Ca → Cv or a → v, where C is a catalyst, a is a noncatalyst symbol, and v is a (possibly null) string representing a multiset of noncatalyst symbols. (Note that we are only interested in the multiplicities of the symbols.) A catalytic system (CS) can be regarded as a language acceptor in the following sense. Given an input alphabet Σ consisting of noncatalyst symbols, the system starts with an initial configuration wz, where w is a fixed string of catalysts and noncatalysts not containing any symbol in z, and z = a1n1...aknk for some nonnegative integers n1,..., nk, with (a1,...,ak) ⊆ Σ. At each step, a maximal multiset of rules is nondeterministically selected and applied in parallel to the current configuration to derive the next configuration (note that the next configuration is not unique, in general). The string z is accepted if the system eventually halts.It is known that a 1-membrane CS is universal in the sense that any unary recursively enumerable language can be accepted by a 1-membrane CS (even by purely CSs, i.e., when all rules are of the form Ca → Cv). A CS is said to be deterministic if at each step there is a unique maximally parallel multiset of rules applicable. It has been an open problem whether deterministic systems of this kind are universal. We answer this question negatively. We show that the membership problem for deterministic CSs is decidable. In fact, we show that the Parikh map of the language (⊆a1*...ak*) accepted by any deterministic CS is a simple semilinear set which can be effectively constructed. Since nondeterministic 1-membrane CS acceptors (with two catalysts) are universal, our result gives the first example of a variant of P systems for which the nondeterministic version is universal, but the deterministic version is not.We also show that for a deterministic 1-membrane CS using only rules of type Ca → Cv, the set of reachable configurations from a given initial configuration is an effective semilinear set. The application of rules of type a → v, however, is sufficient to render the reachability set nonsemilinear. Our results generalize to multimembrane deterministic CSs. We also consider deterministic CSs which allow rules to be prioritized and investigate three classes of such systems, depending on how priority in the application of the rules is interpreted. For these three prioritized systems, we obtain contrasting results: two are universal and one only accepts semilinear sets.