1 Introduction

Two decades ago, membrane systems were introduced in [35] as a multiset-rewriting model of computing inspired by the structure and the functioning of the living cell. The development of this fascinating area of biologically motivated computing models is documented in two textbooks, see [36] and [37]. For actual information see the P systems webpage [39] and the issues of the Bulletin of the International Membrane Computing Society and of the Journal of Membrane Computing.

One basic feature of P systems already presented in [35] is the maximally parallel derivation mode, i.e., using non-extendable multisets of rules in every derivation step. The result of a computation can be extracted when the system halts, i.e., when no rule is applicable any more. Catalysts are special symbols which allow only one object to evolve in its context (in contrast to promoters) and in their basic variant never evolve themselves, i.e., a catalytic rule is of the form \(ca\rightarrow cv\), where c is a catalyst, a is a single object and v is a multiset of objects. In contrast, non-catalytic rules in catalytic P systems are non-cooperative rules of the form \(a\rightarrow v\).

From the beginning, the question how many catalysts are needed for obtaining computational completeness has been one of the most intriguing challenges regarding (catalytic) P systems. In [21] it has already been shown that two catalysts are enough for generating any recursively enumerable set of multisets, without any additional ingredients like a priority relation on the rules as used in the original definition. As already known from the beginning, without catalysts only regular (semi-linear) sets can be generated when using the standard maximal derivation mode and the standard halting mode, i.e., a result is extracted when the system halts with no rule being applicable any more. As shown, for example, in [26], using various additional ingredients, i.e., additional control mechanisms, one catalyst can be sufficient: in P systems with label selection, only rules from one set of a finite number of sets of rules in each computation step are used; in time-varying P systems, the available sets of rules change periodically with time. For many other variants of P systems using specific control mechanism for the application of rules the interested reader is referred to the list of references, for example, see [1,2,3,4,5,6,7,8,9,10,11,12,13,14, 17,18,19,20, 23, 24, 26,27,28,29, 32, 33].

On the other hand, for such catalytic P systems with only one catalyst and using the standard maximally parallel derivation mode and the standard halting mode, a lower bound has been established in [30]: P systems with one catalyst can simulate partially blind register machines, i.e., they can generate more than just semi-linear sets.

In [6], we returned to the idea of using a priority relation on the rules, but took only a very weak form of such a priority relation: we only required that overall in the system catalytic rules have weak priority over non-catalytic rules. This means that the catalyst c must not stay idle if the current configuration contains an object a with which it may cooperate in a rule \(ca\rightarrow cv\); all remaining objects evolve in the maximally parallel way with non-cooperative rules. On the other hand, if the current configuration does not contain an object a with which the catalyst c may cooperate in a rule \(ca\rightarrow cv\), c may stay idle and all objects evolve in the maximally parallel way with non-cooperative rules. Even without using more than this weak priority of catalytic rules over the non-catalytic (non-cooperative) rules, we could establish computational completeness for catalytic P systems with only one catalyst. Moreover, starting from a result established in [6], an even stronger result using a similar construction as in [6] has been established in [9] where we show computational completeness for catalytic P systems with only one catalyst using the derivation mode \(max_{objects}\), i.e., we only take those multisets of rules which affect the maximal number of objects in the underlying configuration.

In this paper we now continue the research started in [9] and investigate several variants of derivation modes based on non-extendable multisets of rules and taking only those for which the difference of objects between the underlying configuration and the configuration after the application of the multisets of rules is maximal. We also consider the variants where the number of objects generated by the application of a multiset of rules is maximal.

Finally, for the variants with maximal number of objects we can also take these multisets of rules without requesting them to fulfill the condition of the multisets to be non-extendable.

In this context, we also reconsider P systems with energy control as first presented in [4] and then further developed for spiking neural P systems in [25]. Equipped with each of the newly defined derivation modes we obtain computational completeness for both symbol and rule energy-controlled P systems.

2 Definitions

For an alphabet V, by \(V^{*}\) we denote the free monoid generated by V under the operation of concatenation, i.e., containing all possible strings over V. The empty string is denoted by \(\lambda .\) A multiset M with underlying set A is a pair (Af) where \(f:\,A\rightarrow {\mathbb {N}}\) is a mapping. If \(M=(A,f)\) is a multiset then its support is defined as \(supp(M)=\{x\in A \,|\,f(x)> 0\}\). A multiset is empty (respectively finite) if its support is the empty set (respectively a finite set). If \(M=(A,f)\) is a finite multiset over A and \(supp(M)=\{ a_1,\ldots ,a_k\}\), then it can also be represented by the string \(a_1^{f(a_1)} \dots a_k^{f(a_k)}\) over the alphabet \(\{ a_1,\ldots ,a_k\}\), and, moreover, all permutations of this string precisely identify the same multiset M. The set of all multisets over V is denoted by \(V^{\circ }\). The cardinality of a set or multiset M is denoted by |M|. For further notions and results in formal language theory we refer to textbooks like [16] and [38].

2.1 Register machines

Register machines are well-known universal devices for computing on (or generating or accepting) sets of vectors of natural numbers. The following definitions and propositions are given as in [9].

Definition 1

A register machine is a construct

$$\begin{aligned} M=\left( m,B,l_{0},l_{h},P\right) \end{aligned}$$

where

  • m is the number of registers,

  • P is the set of instructions bijectively labeled by elements of B,

  • \(l_{0}\in B\) is the initial label, and

  • \(l_{h}\in B\) is the final label.

The instructions of M can be of the following forms:

  • \(p:\left( \textit{ADD}\left( r\right) ,q,s\right)\), with \(p\in B\setminus \left\{ l_{h}\right\}\), \(q,s\in B\), \(1\le r\le m\).

    Increase the value of register r by one, and non-deterministically jump to instruction q or s.

  • \(p:\left( \textit{SUB}\left( r\right) ,q,s\right)\), with \(p\in B\setminus \left\{ l_{h}\right\}\), \(q,s\in B\), \(1\le r\le m\).

    If the value of register r is not zero then decrease the value of register r by one (decrement case) and jump to instruction q, otherwise jump to instruction s (zero-test case).

  • \(l_{h}:HALT\).Stop the execution of the register machine.

A configuration of a register machine is described by the contents of each register and by the value of the current label, which indicates the next instruction to be executed. M is called deterministic if the ADD-instructions all are of the form \(p:\left( \textit{ADD}\left( r\right) ,q\right)\).

In the accepting case, a computation starts with the input of an l-vector of natural numbers in its first l registers and by executing the first instruction of P (labeled with \(l_{0}\)); it terminates with reaching the HALT-instruction. Without loss of generality, we may assume all registers to be empty at the end of the computation.

In the generating case, a computation starts with all registers being empty and by executing the first instruction of P (labeled with \(l_{0}\)); it terminates with reaching the HALT-instruction and the output of a k-vector of natural numbers in its last k registers. Without loss of generality, we may assume all registers except the last k output registers to be empty at the end of the computation.

In the computing case, a computation starts with the input of an l-vector of natural numbers in its first l registers and by executing the first instruction of P (labeled with \(l_{0}\)); it terminates with reaching the HALT-instruction and the output of a k-vector of natural numbers in its last k registers. Without loss of generality, we may assume all registers except the last k output registers to be empty at the end of the computation.

For useful results on the computational power of register machines, we refer to [34]; for example, to prove our main theorem, we need the following formulation of results for register machines generating or accepting recursively enumerable sets of vectors of natural numbers with k components or computing partial recursive relations on vectors of natural numbers:

Proposition 1

Deterministic register machines can accept any recursively enumerable set of vectors of natural numbers with l components using precisely \(l+2\) registers. Without loss of generality, we may assume that at the end of an accepting computation all registers are empty.

Proposition 2

Register machines can generate any recursively enumerable set of vectors of natural numbers with k components using precisely \(k+2\) registers. Without loss of generality, we may assume that at the end of a generating computation the first two registers are empty, and, moreover, on the output registers, i.e., the last k registers, no \(\textit{SUB}\)-instruction is ever used.

Proposition 3

Register machines can compute any partial recursive relation on vectors of natural numbers with l components as input and vectors of natural numbers with k components as output using precisely \(l+2+k\) registers, where without loss of generality, we may assume that at the end of a successful computation the first \(l+2\) registers are empty, and, moreover, on the output registers, i.e., the last k registers, no \(\textit{SUB}\)-instruction is ever used.

In all cases it is essential that the output registers never need to be decremented.

Remark 1

For any register machine, without loss of generality we may assume that the first instruction is an \(\textit{ADD}\)-instruction on register 1: given a register machine \(M=\left( m,B,l_{0},l_{h},P\right)\) with having another instruction as its first instruction, we can immediately construct an equivalent register machine \(M^{\prime }\) which starts with an increment immediately followed by a decrement of the first register:

$$\begin{aligned} M^{\prime }= & {} \left( m,B^{\prime },l_{0}^{\prime },l_{h},P^{\prime }\right) ,\\ B^{\prime }= & {} B\cup \{ l_{0}^{\prime }, l_{0}^{\prime \prime }\},\\ P^{\prime }= & {} P\cup \{ l_{0}^{\prime }:(\textit{ADD}(1),l_{0}^{\prime \prime },l_{0}^{\prime \prime }),\ l_{0}^{\prime \prime }:(\textit{SUB}(1),l_{0},l_{0}) \, \}. \end{aligned}$$

2.2 Simple catalytic P systems

Taking into account the well-known flattening process, e.g., see [22], in this paper we only consider simple catalytic P systems, i.e., with the simplest membrane structure of only one membrane, and with only one catalyst:

Definition 2

A simple catalytic P system with only one catalyst is a construct

$$\begin{aligned} \varPi =(V,\{c\},T,w,{\mathcal {R}}) \end{aligned}$$

where

  • V is the alphabet of objects;

  • \(c\in V\) is the single catalyst;

  • \(T\subseteq (V\setminus \{c\})\);

  • \(w\in V^{\circ }\) is the multiset of objects initially present in the membrane region;

  • \({\mathcal {R}}\) is a finite set of evolution rules over V; these evolution rules are of the forms \(ca\rightarrow cv\) or \(a\rightarrow v\), where c is a catalyst, a is an object from \(V\setminus \{c\}\), and v is a multiset over \(V\setminus \{c\}\).

The multiset in the single membrane region of \(\varPi\) constitutes a configuration of the P system. The initial configuration is given by the initial multiset w; in case of accepting or computing P systems the input multiset \(w_0\) is assumed to be added to w, i.e., the initial configuration then is \(ww_0\).

A transition between configurations is governed by the application of the evolution rules, which is done in a given derivation mode. The application of a rule \(u\rightarrow v\) to a multiset M results in subtracting from M the multiset identified by u, and then in adding the multiset identified by v.

2.3 Variants of derivation modes

The definitions and the corresponding notions used in this subsection follow the definitions and notions elaborated in [31] and extend them for the purposes of this paper.

Given a P system \(\varPi =(V,\{c\},T,w,{\mathcal {R}})\), the set of multisets of rules applicable to a configuration C is denoted by \(Appl(\varPi ,C)\); this set also equals the set \(Appl(\varPi ,C,asyn)\) of multisets of rules applicable in the asynchronous derivation mode (abbreviated asyn).

Given a multiset R of rules in \(Appl(\varPi ,C)\), we write \(C\xrightarrow {R}C'\) if \(C'\) is the result of applying R to C. The number of objects affected by applying R to C is denoted by Aff(\(C,R\)). The number of objects generated in \(C'\) by the right-hand sides of the rules applied to C with the multiset of rules R is denoted by Gen(\(C,R\)). The difference between the number of objects in \(C'\) and C is denoted by \(\varDelta obj(C,R)\). In all cases, the catalysts are taken into account, too.

The set \(Appl(\varPi ,C,sequ)\) denotes the set of multisets of rules applicable in the sequential derivation mode (abbreviated sequ), where in each derivation step exactly one rule is applied.

The standard parallel derivation mode used in P systems is the maximally parallel derivation mode (max for short). In the maximally parallel derivation mode, in any computation step of \(\varPi\) we choose a multiset of rules from \({\mathcal {R}}\) in such a way that no further rule can be added to it so that the obtained multiset would still be applicable to the existing objects in the configuration, i.e., in simple P systems we only take applicable multisets of rules which cannot be extended by further (copies of) rules and are to be applied to the objects in the single membrane region:

$$\begin{aligned} Appl(\varPi ,C,max)=&\{R\in Appl(\varPi ,C)\mid \text {there is no } R^{\prime }\in Appl(\varPi ,C)\\&\text { such that } R^{\prime }\supset R \} . \end{aligned}$$

As already introduced for multisets of rules in [15], we now consider the variant where the maximal number of rules is chosen. In the derivation mode \(max_{rules}max\) only a maximal multiset of rules is allowed to be applied. But it can also be seen as the variant of the basic mode max where we just take a multiset of applicable rules with the maximal number of rules in it, hence, we will also call it the \(max_{rules}\) derivation mode. Formally we have:

$$\begin{aligned} Appl(\varPi ,C,max_{rules})=&\{R\in Appl(\varPi ,C,asyn)\mid \\&\text {there is no } R^{\prime }\in Appl(\varPi ,C,asyn) \\&\text {such that } |R^{\prime }|>|R| \} . \end{aligned}$$

We also consider the derivation mode \(max_{objects}max\) where from the multisets of rules in \(Appl(\varPi ,C,max)\) only those are taken which affect the maximal number of objects. As with affecting the maximal number of objects, such multisets of rules are non-extendable anyway, we will also use the notation \(max_{objects}\). Formally we may write:

$$\begin{aligned} Appl(\varPi ,C,max_{objects}max)=&\{R\in Appl(\varPi ,C,max)\mid \\&\text {there is no } R^{\prime }\in Appl(\varPi ,C,max) \\&\text {such that } {\mathrm{Aff}}(C,R) < {\mathrm{Aff}}(C,R') \} \end{aligned}$$

and

$$\begin{aligned} Appl(\varPi ,C,max_{objects})=&\{R\in Appl(\varPi ,C,asyn)\mid \\&\text {there is no } R^{\prime }\in Appl(\varPi ,C,asyn) \\&\text {such that } {\mathrm{Aff}}(C,R) < {\mathrm{Aff}}(C,R') \} . \end{aligned}$$

As already mentioned, both definitions yield the same multiset of rules.

In addition to these well-known derivation modes, in this paper we also consider several new variants of derivation modes.

Remark 2

The inherent possibility of mimicking the weak priority of catalytic rules over non-catalytic rules taken from the set of applicable non-extendable multisets of rules in simple catalytic P systems using the derivation mode \(max_{objects}\) allowed us to show that simple catalytic P systems with only one catalyst are computationally complete when using the derivation mode \(max_{objects}\), see [9] .

We now define new derivation modes starting from the non-extendable multisets of rules applicable to the current configuration C as for the derivation mode max, which instead of looking at the number of affected objects taken into account, the number of generated objects and the difference of objects between the derived configuration and the current configuration, respectively.

\(max_{GEN objects}max\) :

a non-extendable multiset of rules R applicable to the current configuration C is only taken if the number of objects generated by the application of the rules in R to the configuration C is maximal with respect to the number of objects generated by the application of the rules in any other non-extendable multiset of rules \(R'\) to the configuration C:

$$\begin{aligned}&Appl(\varPi ,C,max_{GEN objects}max)\\&\quad =\{R\in Appl(\varPi ,C,max)\mid \\&\quad \text {there is no } R'\in Appl(\varPi ,C,max) \\&\quad \text {such that } {\mathrm{Gen}}(C,R) < {\mathrm{Gen}}(C,R') \} . \end{aligned}$$
\(max_{\varDelta objects}max\) :

a non-extendable multiset of rules R applicable to the current configuration C is only taken if the difference \(\varDelta C=|C'| - |C|\) between the number of objects in the configuration \(C'\) obtained by the application of R and the number of objects in the underlying configuration C is maximal with respect to the differences in the number of objects obtained by applying any other non-extendable multiset of rules:

$$\begin{aligned}&Appl(\varPi ,C,max_{\varDelta objects}max)\\&\quad =\{R\in Appl(\varPi ,C,max)\mid \\&\quad \text {there is no } R'\in Appl(\varPi ,C,max)\\&\quad \text {such that } \varDelta obj(C,R) < \varDelta obj(C,R') \} . \end{aligned}$$

We illustrate the difference between these new derivation modes in the following example:

Example 1

To illustrate the derivation modes \(max_{GEN objects}max\) as well as \(max_{\varDelta objects}max\), consider a simple P system with the initial configuration caa and the following rules:

  1. 1.

    \(a\rightarrow b\)

  2. 2.

    \(ca\rightarrow cd\)

In case of the derivation mode \(max_{GEN objects}max\), only the multiset of rules \(\{ ca\rightarrow cd,a\rightarrow b\}\) can be applied, as Gen(\(caa,\{ca\rightarrow cd\}\))\(=2\) and Gen(\(cab,\{a\rightarrow b\}\))\(=1\) and therefore Gen(\(caa,\{ca\rightarrow cd,a\rightarrow b\}\))\(=3\), whereas Gen(\(caa,\{a\rightarrow b,a\rightarrow b\}\))\(=2\). Hence, the only possible derivation with the derivation mode \(max_{GEN objects}max\) is \(caa\xrightarrow {\{ca\rightarrow cd,a\rightarrow b\}}cdb\). In this special case,

$$\begin{aligned} Appl(\varPi ,caa,max_{GEN objects}max) = Appl(\varPi ,caa,max_{objects}). \end{aligned}$$

On the other hand, with the derivation mode \(max_{\varDelta objects}max\) both rules yield the same difference of 0, i.e.,

$$\begin{aligned} \varDelta obj(caa,\{ca\rightarrow cd\}) = \varDelta obj(caa,\{a\rightarrow b\}) =0, \end{aligned}$$

which yields all two non-extendable multisets of rules \(\{ca\rightarrow cd,a\rightarrow b\}\) and \(\{a\rightarrow b,a\rightarrow b\}\) to be applicable to the underlying configuration caa, i.e.,

$$\begin{aligned} Appl(\varPi ,caa,max_{\varDelta objects}max) = Appl(\varPi ,caa,max). \end{aligned}$$

Now let us take a slightly different set of rules:

  1. 1.

    \(a\rightarrow bb\)

  2. 2.

    \(ca\rightarrow cd\)

Observing that Gen(\(caa,\{a\rightarrow bb\}\))\(=2\) and \(\varDelta obj(caa,\{a\rightarrow bb\})\) \(=1\), we obtain the following sets of applicable multisets of rules in the two derivation modes considered here in this example:

$$\begin{aligned} Appl(\varPi ,caa,max_{GEN objects}max)= & {} \{ \{a\rightarrow bb,a\rightarrow bb\},\\&\{a\rightarrow bb,ca\rightarrow cd\} \} ,\\ Appl(\varPi ,caa,max_{\varDelta objects}max)= & {} \{ \{a\rightarrow bb,a\rightarrow bb\} \} . \end{aligned}$$

Finally, let us take the following set of rules:

  1. 1.

    \(a\rightarrow \lambda\)

  2. 2.

    \(ca\rightarrow cd\)

Observing that Gen(\(caa,\{a\rightarrow \lambda \}\))\(=0\) and \(\varDelta obj(caa,\{a\rightarrow \lambda \})\) \(=-1\), we obtain the following sets of applicable multisets of rules in the two derivation modes considered here in this example:

$$\begin{aligned} Appl(\varPi ,caa,max_{GEN objects}max)= & {} \{ \{a\rightarrow \lambda ,ca\rightarrow cd\} \} ,\\ Appl(\varPi ,caa,max_{\varDelta objects}max)= & {} \{ \{a\rightarrow \lambda ,ca\rightarrow cd\} \} . \end{aligned}$$

As for \(max_{objects}max\) we now can also consider the variants where the restriction \(max_{objects}\) is imposed on the applicable multisets without first requiring them to be non-extendable:

\(max_{GEN objects}\):

a multiset of rules R applicable to the current configuration C is only taken if the number of objects generated by the application of the rules in R to the configuration C is maximal with respect to the number of objects generated by the application of the rules in any other multiset of rules \(R'\) to the configuration C:

$$\begin{aligned}&Appl(\varPi ,C,max_{GEN objects})\\&\quad =\{R\in Appl(\varPi ,C,asyn)\mid \\&\quad \text {there is no } R'\in Appl(\varPi ,C,asyn)\\&\quad \text {such that } {\mathrm{Gen}}(C,R) < {\mathrm{Gen}}(C,R') \} . \end{aligned}$$
\(max_{\varDelta objects}\):

a multiset of rules R applicable to the current configuration C is only taken if the difference \(\varDelta C=|C'| - |C|\) between the number of objects in the configuration \(C'\) obtained by the application of R and the number of objects in the underlying configuration C is maximal with respect to the differences in the number of objects obtained by applying any other multisets of rules:

$$\begin{aligned}&Appl(\varPi ,C,max_{\varDelta objects})\\&\quad =\{R\in Appl(\varPi ,C,asyn)\mid \\&\quad \text {there is no } R'\in Appl(\varPi ,C,asyn)\\&\quad \text {such that } \varDelta obj(C,R) < \varDelta obj(C,R') \} . \end{aligned}$$

Example 2

To illlustrate the derivation modes \(max_{GEN objects}\) and \(max_{\varDelta objects}\), consider a simple P system with the initial configuration caa and the following rules:

  1. 1.

    \(a\rightarrow bb\)

  2. 2.

    \(ca\rightarrow cdd\)

In case of the derivation mode \(max_{GEN objects}\), only the multiset of rules \(\{ ca\rightarrow cdd,a\rightarrow bb\}\) can be applied, as Gen(\(caa,\{ca\rightarrow cdd\}\))\(=3\) and Gen(\(cab,\{a\rightarrow bb\}\))\(=2\) and therefore Gen(\(caa,\{ca\rightarrow cdd,a\rightarrow bb\}\))\(=5\), whereas Gen(\(caa,\{a\rightarrow bb,a\rightarrow bb\}\))\(=4\). Hence, the only possible derivation with the derivation mode \(max_{GEN objects}\) is \(caa\xrightarrow {\{ca\rightarrow cdd,a\rightarrow bb\}}cddbb\). In this special case,

$$\begin{aligned} Appl(\varPi ,caa,max_{GEN objects}) = Appl(\varPi ,caa,max_{objects}). \end{aligned}$$

On the other hand, with the derivation mode \(max_{\varDelta objects}\) both rules yield the same increase of one object, i.e.,

$$\begin{aligned} \varDelta obj(caa,\{ca\rightarrow cdd\}) = \varDelta obj(caa,\{a\rightarrow bb\}) =1, \end{aligned}$$

which yields all two non-extendable multisets of rules \(\{ca\rightarrow cdd,a\rightarrow bb\}\) and \(\{a\rightarrow bb,a\rightarrow bb\}\) to be applicable to the underlying configuration caa, i.e.,

$$\begin{aligned} Appl(\varPi ,caa,max_{\varDelta objects}) = Appl(\varPi ,caa,max). \end{aligned}$$

2.4 Computations in a P system

The P system continues with applying multisets of rules according to the derivation mode until there remain no applicable rules in the single region of \(\varPi\), i.e., as usual, with all these variants of derivation modes as defined above, we consider halting computations.

We may generate or accept or even compute functions or relations. The inputs/outputs may be multisets or strings, defined in the well-known way. When the system halts, in case of computing with multisets we consider the number of objects from T contained in the membrane region at the moment when the system halts as the result of the underlying computation of \(\varPi\).

We would like to emphasize that as results we only take the objects from the terminal alphabet T, especially the catalyst is not counted to the result of a computation. On the other hand, with all the proofs given in this paper, except for the single catalyst no other garbage remains in the membrane region at the end of a halting computation.

As already mentioned earlier, the following result was shown in [30], establishing a lower bound for the computational power of catalytic P systems with only one catalyst:

Proposition 4

Catalytic P systems with only one catalyst working in the derivation mode max have at least the computational power of partially blind register machines.

Example 3

In [30] it was shown that the vector set

$$\begin{aligned} S=\left\{ \left( n,m\right) \mid 0\le n, n\le m\le 2^n\right\} \end{aligned}$$

(which is not semi-linear) can be generated by a P system working in the derivation mode max with only one catalyst and 19 rules.

2.5 Two variants of energy control

We now recall the definitions from [4] introducing two variants of energy-controlled P systems. Yet in contrast to the general definitions given in [4] again we will restrict ourselves to simple P systems \(\varPi =(V,\{c\},T,w,{\mathcal {R}} )\).

The first variant assigns fixed integer values of energy to each symbol in the system, i.e., instead of V we consider the set \(V_E\) consisting of pairs \(\left[ x,f(x)\right]\) with \(x\in V\) and \(f:V\rightarrow {\mathbb {Z}}\) being a function assigning a unique energy value to each symbol in V. We extend f in the natural way to strings or multisets over V. The energy balance of a rule \(u\rightarrow v\) then is \(f\left( v\right) - f\left( u\right)\). Such variants of P systems will be called symbol energy-controlled P systems.

In the second variant, the energy is directly assigned to the rules only. Such variants of P systems will be called rule energy-controlled P systems.

3 Computational completeness for simple P systems working in the derivation modes \(max_{GEN objects}max\) and \(max_{\varDelta objects}max\)

As already mentioned earlier, in [9] we have already shown that we can obtain computational completeness with simple P systems and only one catalyst when using the derivation mode \(max_{objects}\) instead of max.

In this section we now study simple P systems with only one catalyst using the derivation modes \(max_{GEN objects}max\) and \(max_{\varDelta objects}max\), respectively.

Theorem 1

For any register machine with at least two decrementable registers we can construct a simple catalytic P system with only one catalyst, working in the derivation mode \(max_{\varDelta objects}max\) or in the derivation mode \(max_{GEN objects}max\), which can simulate every step of the register machine in n steps where n is the number of decrementable registers.

Proof

Given an arbitrary register machine \(M=\left( m,B,l_{0},l_{h},P\right)\) we will construct a corresponding catalytic P system with one membrane and one catalyst \(\varPi = (V, \{ c \}, T, w, {\mathcal {R}})\) simulating M. Without loss of generality, we may assume that, depending on its use as an accepting or generating or computing device, the register machine M, as stated in Propositions 1,  2, and  3, fulfills the condition that on the output registers we never apply any \(\textit{SUB}\)-instruction.

The following proof is given for the most general case of a register machine computing any partial recursive relation on vectors of natural numbers with l components as input and vectors of natural numbers with k components as output using precisely \(l+2+k\) registers, where without loss of generality, we may assume that at the end of a successful computation the first \(l+2\) registers are empty, and, moreover, on the output registers, i.e., the last k registers, no \(\textit{SUB}\)-instruction is ever used. The proof works for any number \(n\ge 2\) of decrementable registers, no matter how many of them are the l input registers and the working registers, respectively.

The main idea behind our construction is that all the objects except the catalyst c and the output objects (representing the contents of the output registers) go through a cycle of length n where n is the number of decrementable registers of the simulated register machine. When the objects are traversing the r-th section of the n sections, they “know” that they are to probably simulate a \(\textit{SUB}\)-instruction on register r of the register machine M.

As in our construction the simulation of a \(\textit{SUB}\)-instruction takes two steps, the second simulation step in the case of a \(\textit{SUB}\)-instruction on register n is shifted to the first step of the next cycle. Yet in this case we have to guarantee that after a \(\textit{SUB}\)-instruction on register n the next instruction to be simulated is not a \(\textit{SUB}\)-instruction on register 1. Hence, we use a similar trick as already elaborated in Remark 1: we not only do not start with a \(\textit{SUB}\)-instruction, but we also change the register machine program in such a way that after a \(\textit{SUB}\)-instruction on register n two intermediate instructions are introduced, i.e., as in Remark 1, we use an \(\textit{ADD}\)-instruction on register 1 immediately followed by a \(\textit{SUB}\)-instruction on register 1, whose simulation will end at most in step n, as we have assumed \(n\ge 2\).

The following construction is elaborated in such a way that it works both for the derivation mode \(max_{\varDelta objects}max\) and the derivation mode \(max_{GEN objects}max\).

We now simulate the resulting register machine fulfilling these additional constraints \(M=\left( m,B,l_{0},l_{h},P\right)\) by a corresponding simple P system with one catalyst \(\varPi = (V, \{ c \}, T, c(l_0,1), {\mathcal {R}})\).

$$\begin{aligned} \begin{array}{lcl} V &{}= &{} \{ a_{r} \mid n+1 \le r \le m \} \\ &{}\cup &{} \{ (a_{r},i) \mid 1 \le r \le n, 1 \le i \le n\} \\ &{}\cup &{} \{(p,i) \mid p \in B_{\textit{ADD}}, 1 \le i \le n\} \\ &{}\cup &{} \{(p,i) \mid p\in B_{\textit{SUB}(r)}, 1 \le i \le r+1\} \\ &{}\cup &{} \{(p,i)^-, (p,i)^0 \mid p\in B_{\textit{SUB}(r)}, r+2 \le i \le n\} \\ &{}\cup &{} \{c, e, d \}. \end{array} \end{aligned}$$

The construction includes the dummy object d which is erased by the rule \(d \rightarrow \lambda\). The effect of applying these rules due to the requirement of the chosen multisets of rules to be non-extendable will be ignored in the following calculations for \(\varDelta obj(C,R)\) and Gen(\(C,R\)).

The objects \(a_r\), \(n+1 \le r \le m\), represent the output registers. For the decrementable registers, we use the objects \((a_{r},i)\), \(1 \le r \le n, 1 \le i \le n\), which go through a loop of n steps. The main idea now is that the only case when such an object can be used to decrement register r is when \(i=r\), i.e., in the r-th step of the simulation cycle.

$$\begin{aligned} \begin{array}{ccc} (a_{r},i) \rightarrow (a_{r},i+1), 1 \le r <n; &{} &{} (a_{r},n) \rightarrow (a_{r},1). \\ \end{array} \end{aligned}$$
(1)

In the same way as the register objects \(a_r\), the program objects (pi) representing the label p from B undergo the same cycle of length n.

For simulating \(\textit{ADD}\)-instructions we need the following rules:

Increment \(p:(\textit{ADD}(r), q, s)\):

$$\begin{aligned} c (p,i) \rightarrow c (p,i+1)d, 1 \le i < n. \end{aligned}$$
(2)

The catalyst has to be used with the program object which otherwise would stay idle when the catalyst is used with a register object, and the difference of objects \(\varDelta obj(C,R')\) for this other non-extendable multiset of rules \(R'\) would be 0 whereas when using the program object for the catalyst, we obtain \(\varDelta obj(C,R)\)\(= 1\) because of the additional dummy object d.

In a similar way we can argue that in the case of the derivation mode \(max_{GEN objects}max\) the number of generated objects is maximal when using the catalyst together with the program object; in fact, if N is the total number of register objects for decrementable registers in the underlying configuration C, then with applying the set of rules R described so far we get Gen(\(C,R\))\(=N+3\) in contrast to Gen(\(C,R'\))\(=N-1+3=N+2\) where using the catalyst with the rule \(c (a_{r},r) \rightarrow c e d\), as described below for the simulation of the \(\textit{SUB}\)-Instruction, results in the multiset of rules \(R'\).

If r is a decrementable register, we end the simulation using one of the following rules:

$$\begin{aligned} \begin{array}{ccc} c (p,n) \rightarrow c (q,1) (a_{r},1),&&c (p,n) \rightarrow c (s,1) (a_{r},1). \end{array} \end{aligned}$$
(3)

If r is an output register, we end the simulation using one of the following rules introducing output objects not to be changed any more:

$$\begin{aligned} \begin{array}{ccc} c (p,n) \rightarrow c (q,1) a_{r},&&c (p,n) \rightarrow c (s,1) a_{r}. \end{array} \end{aligned}$$
(4)

As in both cases, together with the program object a new register object is generated, we again have \(\varDelta obj(C,R)\) \(= 1\), thus guaranteeing that the catalyst must take (pn) and cannot take \((a_n,n)\) instead.

A similar argument again holds in the case of the derivation mode \(max_{GEN objects}max\) as the number of generated objects is only maximal when using the catalyst together with the program object; again we have Gen(\(C,R\))\(=N+3\) with this multiset of rules R in contrast to Gen(\(C,R'\))\(=N-1+3=N+2\) when using the catalyst with the rule \(c (a_{r},r) \rightarrow c e d\) results in the multiset of rules \(R'\).

For simulating \(\textit{SUB}\)-instructions we need the following rules:

Decrement and zero-test \(p:(\textit{SUB}(r), q, s)\):

$$\begin{aligned} \begin{array}{ccc} c (p,i) \rightarrow c (p,i+1)d,&\,&1 \le i < r. \end{array} \end{aligned}$$
(5)

For \(1 \le i < r\), we again use the dummy object d to obtain \(\varDelta C = 1\) and thus also having one more object generated, to enforce the catalyst to take the program object.

$$\begin{aligned} \begin{array}{ccc} (p,r) \rightarrow (p,r+1),&\,&c (a_{r},r) \rightarrow c e d. \end{array} \end{aligned}$$
(6)

In case that register r is empty, i.e., there is no object \((a_{r},r)\), then the catalyst will stay idle as in this step there is no other object with which it could react. In case that register r is not empty, i.e., there is at least one object \((a_{r},r)\), then one of these objects \((a_{r},r)\) must be used with the catalyst c as the rule \(c (a_{r},r) \rightarrow c e d\) implies \(\varDelta obj(C,R)\)\(= 1\), whereas otherwise, if all register objects are used with the rule \((a_{r},r) \rightarrow (a_{r},r+1)\), then \(\varDelta obj(C,R)\)\(= 0\).

In the same way we argue that with using the rule \(c (a_{r},r) \rightarrow c e d\) we get one object generated more than if we use the rule \((a_{r},r) \rightarrow (a_{r},r+1)\) for that object \((a_{r},r)\), i.e., Gen(\(C,R\))\(=N-1+3=N+2\) in contrast to Gen(\(C,R'\))\(=N\).

If \(r<n-1\):

$$\begin{aligned} \begin{array}{ll l} c e \rightarrow c dddd, &{} &{} (p,r+1) \rightarrow (p,r+2)^{-}; \\ c (p,r+1) \rightarrow c (p,r+2)^{0} dd. &{} &{} \end{array} \end{aligned}$$
(7)

If in the first step of the simulation phase the catalyst did manage to decrement the register, it produced e. Thus, in the second simulation step, the catalyst has three choices:

  1. 1.

    the catalyst c correctly “erases" e using the rule \(c e \rightarrow c dddd\), and to the program object \((p,r+1)\) the rule \((p,r+1) \rightarrow (p,r+2)^{-}\) must be applied due to the fact that both derivation modes \(max_{\varDelta objects}max\) and \(max_{GENobjects}max\) only allow for non-extendable multisets of rules; all register objects evolve in the usual way; in total we get \(\varDelta obj(C,R)\)\(= 3\) and Gen(\(C,R\))\(=N+6\);

  2. 2.

    the catalyst c takes the program object \((p,r+1)\) using the rule \(c (p,r+1) \rightarrow c (p,r+2)^{0} dd\), and all register objects evolve in the usual way; in total we get \(\varDelta obj(C,R)\)\(=2\) and Gen(\(C,R\))\(=N+4\);

  3. 3.

    the catalyst c takes a register object, the program object \((p,r+1)\) evolves with the rule \((p,r+1) \rightarrow (p,r+2)^{-}\), and all other register objects evolve in the usual way; in total we get \(\varDelta obj(C,R)\)\(= 1\) and Gen(\(C,R\))\(=(N-1+3)+1=N+3\).

In total, only variant 1 fulfills the condition given by the derivation mode \(max_{\varDelta objects}max\) that \(\varDelta obj(C,R)\) is maximal, and therefore is the only possible continuation of the computation if register r is not empty.

A similar argument holds for the derivation mode \(max_{Gen objects}max\) with respect to the number of generated objects \(\varDelta obj(C,R)\).

On the other hand, if register r is empty, no object e is generated, and the catalyst c has only two choices:

  1. 1.

    the catalyst c takes the program object \((p,r+1)\) using the rule \(c (p,r+1) \rightarrow c (p,r+2)^{0}dd\), and all register objects evolve in the usual way; in total we get \(\varDelta obj(C,R)\)\(= 2\) and Gen(\(C,R\))\(=N+4\);

  2. 2.

    the catalyst c takes a register object \((a_{r+1},r+1)\) thereby generating ed, the program object \((p,r+1)\) evolves with the rule \((p,r+1) \rightarrow (p,r+2)^{-}\), and all other register objects evolve in the usual way; this variant leads to \(\varDelta obj(C,R)\)\(= 1\) and Gen(\(C,R\))\(=(N-1+3)+1=N+3\).

In total, variant 1 is the only possible continuation of the computation if register r is empty.

$$\begin{aligned} \begin{array}{ll l} c(p,i)^{-} \rightarrow c(p,i+1)^{-} d ,\ \ r+2 \le i< n, &{} &{} c(p,n)^{-} \rightarrow c(q,1) d, \\ c(p,i)^{0} \rightarrow c(p,i+1)^{0} d,\ \ r+2 \le i < n, &{} &{} c(p,n)^{0} \rightarrow c(s,1) d. \end{array} \end{aligned}$$
(8)

Again the catalyst has to be used with the program object to get \(\varDelta obj(C,R)\)\(= 1\) and Gen(\(C,R\))\(=N+3\), which otherwise would stay idle when the catalyst is used with a register object, and the multiset of rules applied in this way would only yield \(\varDelta obj(C,R)\)\(= 0\) and Gen(\(C,R'\))\(=N-1+3=N+2\).

If \(r=n-1\):

$$\begin{aligned} \begin{array}{l} c e \rightarrow c dddd, \ (p,n) \rightarrow (q,1), \\ c (p,n) \rightarrow c (s,1) dd. \end{array} \end{aligned}$$
(9)

In this case, we directly go to the first step of the next cycle.

If \(r=n\):

$$\begin{aligned} \begin{array}{ll l} c e \rightarrow c dddd, &{} &{} \\ (p,n+1) \rightarrow (q,2), &{} &{} c (p,n+1) \rightarrow c (s,2) dd. \\ \end{array} \end{aligned}$$
(10)

In this case, the second step of the simulation is already the first step of the next cycle, which means that in this case of \(r=n\) the next instruction to be simulated is an \(\textit{ADD}\)-instruction on register 1.

To complete the proof we have to implement the final HALT-instruction \(l_{h}:HALT\). In an easy way, we can do this by introducing d instead of \((l_{h},1)\) or \((l_{h},2)\) as done for other labels. In this way, finally no program object is present any more in the configuration. As we have assumed all decrementable registers to be empty when the register machine halts, this means the constructed simple P system will also halt after having erased the dummy objects d in the next step.

We finally observe that the proof construction given above is even deterministic if the underlying register machine to be simulated is deterministic. \(\square\)

As the number of decrementable registers in generating register machines needed for generating any recursively enumerable set of (vectors of) natural numbers is only two, from the theorem above we obtain the following result:

Corollary 1

For any generating register machine with two decrementable registers we can construct a simple P system with only one catalyst and working in the derivation mode \(max_{\varDelta objects}max\) or in the derivation mode \(max_{GEN objects}max\) which can simulate every step of the register machine in 2 steps, and therefore such catalytic P systems with only one catalyst and working in the derivation mode \(max_{\varDelta objects}max\) or in the derivation mode \(max_{GEN objects}max\) can generate any recursively enumerable set of (vectors of) natural numbers.

For accepting register machines, in addition to the two working registers, we have at least one input register and therefore immediately infer the following result:

Corollary 2

For any recursively enumerable set of d-vectors of natural numbers given by a register machine with \(d+2\) decrementable registers we can construct an accepting simple P system with only one catalyst and working in the derivation mode \(max_{\varDelta objects}max\) or in the derivation mode \(max_{GEN objects}max\) which can simulate every step of the register machine in \(d+2\) steps, and therefore such catalytic P systems with only one catalyst and working in the derivation mode \(max_{\varDelta objects}max\) or in the derivation mode \(max_{GEN objects}max\) can accept any recursively enumerable set of (vectors of) natural numbers.

In a similar way, assuming at least one input register to be present, we also infer a similar result for register machines computing partial recursive relations on natural numbers and therefore computational completeness in its widest sense:

Corollary 3

For any partial recursive relation \(f: {\mathbb {N}}^d \longrightarrow {\mathbb {N}}^k\) on vectors of natural numbers (i.e., with d components as input and k components as output) given by a register machine with \(d+2\) decrementable registers we can construct a simple P system with only one catalyst and working in the derivation mode \(max_{\varDelta objects}max\) or in the derivation mode \(max_{GEN objects}max\) which can simulate every step of the register machine in \(d+2\) steps, and therefore such catalytic P systems with only one catalyst and working in the derivation mode \(max_{\varDelta objects}max\) or in the derivation mode \(max_{GEN objects}max\) can compute any partial recursive relation \(f: {\mathbb {N}}^d \longrightarrow {\mathbb {N}}^k\) on vectors of natural numbers.

4 Computational completeness for simple P systems working in the derivation modes \(max_{GEN objects}\) and \(max_{\varDelta objects}\)

In this section we show the rather astonishing results that simple P systems with only one catalyst using the derivation modes \(max_{GEN objects}\) and \(max_{\varDelta objects}\) are computationally complete for themselves without a priori needing the condition that the applied multisets of rules are non-extendable, which condition can be mimicked using a suitable additional number of dummy objects on the right-hand side of the rules.

Theorem 2

For any register machine with \(n\ge 2\) decrementable registers we can construct a simple catalytic P system with only one catalyst, working in the derivation mode \(max_{\varDelta objects}\) or in the derivation mode \(max_{GEN objects}\), which can simulate every step of the register machine in n steps where n is the number of decrementable registers.

Proof

We use a similar construction as in the proof of Theorem 1. To mimick the non-extendability of the multisets of rules to be applied, we simply add one more dummy object d on the right-hand side of every rule constructed in that proof, except for the erasing rule \(d\rightarrow \lambda\).

For example, the cycling rules for the register objects now are as follows:

$$\begin{aligned} \begin{array}{ccc} (a_{r},i) \rightarrow (a_{r},i+1)d, 1 \le r <n; &{} &{} (a_{r},n) \rightarrow (a_{r},1)d. \\ \end{array} \end{aligned}$$
(11)

No register object can stay idle, as the application of a rule given above increases \(\varDelta obj(C,R)\) by 1 and the number of generated objects by 2.

All the other arguments for \(\varDelta obj(C,R)\) and Gen(\(C,R\)) as explained in in the proof of Theorem 1 can be taken over as they are given there, with re-calculating the values for \(\varDelta obj(C,R)\) and for Gen(\(C,R\)), the number of generated objects, always adding 1 for every rule which is applied.

For example, we re-investigate the possible variants for the simulation of a \(\textit{SUB}\)-instruction on register r, for \(r<n-1\); in the following, N is the total number of register objects for decrementable registers in the underlying configuration C:

We start with

$$\begin{aligned} \begin{array}{ccc} (p,r) \rightarrow (p,r+1)d,&\,&c (a_{r},r) \rightarrow c e dd. \end{array} \end{aligned}$$
(12)

From the list of rules in Eq. (7) we obtain the following list of rules:

$$\begin{aligned} \begin{array}{ll l} c e \rightarrow c d^5, &{} &{} (p,r+1) \rightarrow (p,r+2)^{-}d; \\ c (p,r+1) \rightarrow c (p,r+2)^{0} d^3. &{} &{} \end{array} \end{aligned}$$
(13)

If in the first step of the simulation phase the catalyst did manage to decrement the register, it produced e. Thus, in the second simulation step, the catalyst has three choices:

  1. 1.

    the catalyst c correctly “erases" e using the rule \(c e \rightarrow c d^5\), and to the program object \((p,r+1)\) the rule \((p,r+1) \rightarrow (p,r+2)^{-}d\) must be applied due to the fact that both derivation modes \(max_{\varDelta objects}\) and \(max_{GENobjects}\) mimick the non-extendability of the applied multiset of rules by the additional object d on the right-hand side of the rules, i.e., every object which can evolve must evolve; all register objects evolve in the usual way; in total we get \(\varDelta obj(C,R)\)\(= N+5\) and Gen(\(C,R\))\(=2N+8\);

  2. 2.

    the catalyst c takes the program object \((p,r+1)\) using the rule \(c (p,r+1) \rightarrow c (p,r+2)^{0} d^3\), and all register objects evolve in the usual way; in total we get \(\varDelta obj(C,R)\)\(= N+3\) and Gen(\(C,R\))\(=2N+5\);

  3. 3.

    the catalyst c takes a register object, the program object \((p,r+1)\) evolves with the rule \((p,r+1) \rightarrow (p,r+2)^{-}d\), and all other register objects evolve in the usual way; in total we get \(\varDelta obj(C,R)\)\(= (N-1)+2+1=N+2\) and Gen(\(C,R\))\(=2(N-1)+4+2=2N+4\).

In total, only variant 1 fulfills the condition given by the derivation mode \(max_{\varDelta objects}\) that \(\varDelta obj(C,R)\) is maximal, and therefore is the only possible continuation of the computation if register r is not empty. A similar argument holds for the derivation mode \(max_{GEN objects}\) with respect to the number of generated objects, Gen(\(C,R\)).

In case register r is empty, we have the following possibilities:

  1. 1.

    catalyst c takes the program object \((p,r+1)\) using the rule \(c (p,r+1) \rightarrow c (p,r+2)^{0}ddd\), and all register objects evolve in the usual way; in total we get \(\varDelta obj(C,R)\)\(= N+3\) and Gen(\(C,R\))\(=2N+5\);

  2. 2.

    the catalyst c takes a register object \((a_{r+1},r+1)\) thereby generating edd, the program object \((p,r+1)\) evolves with the rule \((p,r+1) \rightarrow (p,r+2)^{-}d\), and all other register objects evolve in the usual way; this variant leads to \(\varDelta obj(C,R)\)\(= N-1+2+1=N+2\) and Gen(\(C,R\))\(=(2(N-1)+4)+2=2N+4\).

In case of the derivation mode \(max_{\varDelta objects}\), the erasing rule \(d\rightarrow \lambda\) can never be applied together with the other rules, as it would diminish \(\varDelta obj(C,R)\). Hence, the garbage of objects d remains until the simulated register machine has halted, and then the dummy objects d are eliminated in a sequential way.

On the other hand, in case of the derivation mode \(max_{GEN objects}\) the value of Gen(\(C,R\)) does not change with the application of any number of rules \(d\rightarrow \lambda\), as Gen(\(C, \{d\rightarrow \lambda \}\))\(=0\). Remaining dummy objects d finally are eliminated in an asynchronous way.

We leave all the remaining technical details to the interested reader. \(\square\)

5 Connection to energy-controlled P systems

Adapting the proofs elaborated in the preceding section we can immediately show equivalent results for energy-controlled P systems using the derivation mode \(max_{energy}max\) instead of the derivation modes \(max_{objects}max\).

Theorem 3

For any register machine with at least two decrementable registers we can construct a simple symbol energy-controlled P system with only one catalyst and working in the derivation mode \(max_{energy}max\) which can simulate every step of the register machine in n steps where n is the number of decrementable registers.

Proof

We can verbatim take over the proof given for Theorem 2 by taking \(V_E\) instead of V consisting of pairs \(\left[ x,1\right]\) assigning the unique energy value 1 to each symbol in V. In that way, all arguments referring to the number of objects in a (multiset of) rule(s) can immediately be taken over as analog arguments referring to the amount of energy represented by the objects.

As an example, let us consider the rule \(c e \rightarrow c dddd\) which yields \(\varDelta objects = 5-2=3\) for the difference of the number of objects and as well \(\varDelta energy = 3\) for the difference of energy.

On the other hand, for the rule \(d\rightarrow \lambda\) we get \(\varDelta objects = -1\) for the difference of the number of objects and as well \(\varDelta energy = -1\). \(\square\)

Corollary 4

For any register machine with at least two decrementable registers we can construct a simple rule energy-controlled P system with only one catalyst and working in the derivation mode \(max_{energy}max\) which can simulate every step of the register machine in n steps where n is the number of decrementable registers.

Proof

Again we take over the proof given for Theorem 2 and now define the energy assigned to a rule as the difference of the number of objects on the left-hand side and the number of objects on the right-hand side of a rule.

Like in the proof of Theorem 3, as an example, let us again consider the rule \(c e \rightarrow c dddd\) which yields \(\varDelta objects = 3\) for the difference of the number of objects and thus the energy 3 for the energy to be assigned to this rule. As in [4], we may write

$$\begin{aligned} c e \rightarrow c dddd \ <3> \end{aligned}$$

to specify that the rule \(c e \rightarrow c dddd\) has energy 3.

On the other hand, for the rule \(d\rightarrow \lambda\) we get \(\varDelta objects = -1\) for the difference of the number of objects and therefore:

$$\begin{aligned} d\rightarrow \lambda \ <-1> \end{aligned}$$

The arguments for the sum of energies assigned to the rules in the applied multiset of rules now run as for the number of objects.

Yet now in the case of rule energy-controlled P systems we can even avoid the use of the dummy object d: we simply may omit the object in every rule obtained in that way, but still keep the original amount of energy assigned to the rule; for example, instead of

$$\begin{aligned} c e \rightarrow c dddd \ <3> \end{aligned}$$

we now may take

$$\begin{aligned} c e \rightarrow c \ <3> \end{aligned}$$

although the difference of objects now would be \(-1\).

Finally, of course, we have to eliminate the rule

$$\begin{aligned} d\rightarrow \lambda \ <-1> \end{aligned}$$

as it is not needed any more. \(\square\)

6 Conclusion

In this paper we have continued our research on revisiting a classic problem of computational complexity in membrane computing: can catalytic P systems with only one catalyst already generate all recursively enumerable sets of multisets? This problem has been standing tall for many years, and nobody has yet managed to give it a positive or a negative answer. Already in [6] and in [9] we could show that adding the ingredient of weak priority of catalytic rules over non-catalytic rules or only taking the derivation mode \(max_{objects}\) we can obtain computational completeness with only one catalyst.

In this paper, we have added some similar results how to obtain computational completeness with only one catalyst when using one of the newly defined derivation modes \(max_{\varDelta objects}max\) and \(max_{GEN objects}max\) or \(max_{\varDelta objects}\) and \(max_{GEN objects}\), respectively. We especially emphasize that computational completeness for \(max_{\varDelta objects}\) and \(max_{GEN objects}\) can be obtained without requiring the chosen multisets of rules to be non-extendable.

Moreover, based on the results for simple P systems with only one catalyst using the derivation modes \(max_{\varDelta objects}max\), we could show the corresponding computational completeness for simple energy-controlled P systems working in the corresponding derivation mode \(max_{energy}max\).

The results obtained in this paper can also be extended to P systems dealing with strings. Following the definitions and notions used in [30], computational completeness for computing with strings can be shown.