Minimal Cooperation in Symport/Antiport Tissue P Systems

Transcription

1 Minimal Cooperation in Symport/Antiport Tissue P Systems Artiom Alhazov Yurii Rogozhin Institute of Mathematics and Computer Science Academy of Sciences of Moldova Academiei 5, Chişinău, MD-08, Moldova {alhazov,rogozhin}@math.md Sergey Verlan LACL, Département Informatique, Université Paris 1, 61, av. Général de Gaulle, Créteil, France verlan@univ-paris1.fr We investigate tissue P systems with symport/antiport with minimal cooperation, i.e., when only objects may interact. We show that cells are enough in order to generate all recursively enumerable sets of numbers. Moreover, constructed systems simulate register machines and have purely deterministic behavior. We also investigate systems with one cell and we show that they may generate only finite sets of numbers. 1. Introduction P systems were introduced by Gh. Păun in [13] as distributed parallel computing devices of biochemical inspiration. These systems are inspired from the structure and the functioning of a living cell. The cell is considered as a set of compartments (membranes) nested one in another and which contain objects and evolution rules. The basic framework specifies neither the nature of these objects, nor the nature of rules. Numerous variants specify these two parameters by obtaining a lot of different models of computing, see [19] for a comprehensive bibliography. One of these variants, P systems with symport/antiport, was introduced in [1]. This variant uses one of the most important properties of P systems: the communication. This property is so powerful, that it suffices by itself to reach the computational power of Turing machines. These systems have two types of rules: symport rules, when several objects go together from one membrane to another, and antiport rules, when several objects from two membranes are exchanged. In spite of a simple definition, they may compute all Turing computable sets of numbers [1]. This result was Also Research Group on Mathematical Linguistics, Rovira i Virgili University, Tarragona, Spain, artiome.alhazov@estudiants.urv.cat Corresponding author 1

2 A. Alhazov, Y. Rogozhin, S. Verlan improved with respect to the number of used membranes and/or the weight of symport/antiport rules ([6], [8], [10], [14], [5]). Rather unexpectedly, minimal symport/antiport P systems, i.e., when one uses only one object in symport rules and a pair of objects in antiport rules are universal. The proof of this result may be found in [4] and the corresponding system has 9 membranes. This result was improved first by reducing the number of membranes to six [9], after that to five [5] and four [7]. In [17] it is shown that three membranes are sufficient to generate all recursively enumerable sets of numbers using 5 superfluous objects in the output membrane. In [3], a stronger result is reported where the output membrane did not contain superfluous objects. Similarly, when minimal symport is used, i.e., when only symport rules dealing with at most two objects are permitted, three membranes suffice to generate all recursively enumerable sets of numbers [3]. A recent result shows that this number can be decreased down to two for both minimal symport and minimal antiport cases [1], yet only modulo a terminal alphabet. At last in [] it was shown that the number of additional objects can be bounded by 3 in minimal antiport case and by 6 in minimal symport case. The inspiration for tissue P systems comes from two sides. From one hand, P systems previously introduced may be viewed as transformations of labels associated to nodes of a tree. Therefore, it is natural to consider same transformations on a graph. On the other hand, they may be obtained by following the same reflections as for P systems, but starting from a tissue of cells and no more from a single cell. Tissue P systems were initially investigated in [15] and [16]. They have richer possibilities and the advantages of new topology have to be investigated. Tissue P systems with symport/antiport were first considered in [14] where several results having different values of parameters (graph size, maximal size of connected component, weight of symport and antiport rules) are presented. In this paper we consider symport and antiport rules with minimal cooperation, i.e., we consider minimal antiport rules (of weight 1) that permit to exchange two objects, as well as minimal symport rules (of weight ) that permit to send two objects together. Systems with minimal antiport were first investigated in [18] where it was shown that 3 cells are sufficient to generate any recursively enumerable set of numbers. In this article, we investigate both variants and we show that in both cases we can construct systems defined on a graph with cells that simulate any (non-)deterministic register machine. Moreover, in the deterministic case, obtained systems are also deterministic and only one evolution is possible at any time. Therefore, if the computation stops, then we are sure that the corresponding register machine stops on the provided input. Another difference from previous proofs is that we use a very small amount of symbols present in an infinite number of copies in the environment. We also show that if only one cell is considered, then corresponding systems may

3 Minimal Cooperation in Symport/Antiport Tissue P Systems 3 generate no more than finite sets of numbers. The minimal symport case was already discussed in [8], so we present only the antiport one. Therefore, we found a boundary between the decidability and the undecidability for corresponding systems.. Definitions We denote by N the set of all non-negative natural numbers, {0,1,...}, and by N the set {1,,...}. A multiset S over O is a mapping f S : O N. The mapping f S specifies the number of occurrences of each element of S. The size of the multiset S is S = x O f S(x). We use the ordinary set notation in order to specify a multiset. In this case we either indicate the number of occurrences of each element as its power, or we give the mapping function f S. For example the multiset containing 3 occurrences of element a, one occurrence of element b and zero occurrences of element c will be specified as {a 3,b} or a 3,b 1,c 0. We shall also use a string notation in order to specify a multiset. In this case we write all elements of the multiset having a positive multiplicity in a string. For example, the previous multiset will be written as aaab or a 3 b. The sum (union) of two multisets P and Q over O, denoted P Q, is a multiset S such that f S (a) = f P (a) + f Q (a) for all a in O. Similarly, the difference of two multisets P and Q is a multiset S having f S (a) = f P (a) f Q (a) where is the positive subtraction. A deterministic register machine is the following construction: M = (Q,R,q 0,q f,p), where Q is a set of states, R = {r 1,...,r k } is the set of registers, q 0 Q is the initial state, q f Q is the final state and P is a set of instructions (called also rules) of the following form: (1) (p,a+,q) P, p,q Q,p q,a R (being in state p, increase register A and go to state q). () (p,a,q,s) P, p,q,s Q,A R (being in state p, decrease register A and go to q if successful or to s if A is zero). (3) (q f,stop) (may be associated only to the final state q f ). We note that for each state p there is only one instruction of the type above. A configuration of a register machine is given by the (k+1)-tuple (q,n 1,...,n k ), where q Q and n i N,1 i k, describing the current state of the machine as well as the contents of all registers. A transition of the register machine consists in updating/checking the value of a register according to an instruction of one of types above and by changing the current state to another one. We say that the machine stops, if it reaches the state q f.

4 4 A. Alhazov, Y. Rogozhin, S. Verlan We say that M computes a value y N on the input x N if starting from the initial configuration (q 0,x,0,...,0) it reaches the final configuration (q f,y,0,...,0). We say that M recognizes the set S N if for any input x S the machine stops and for any y S the machine does not stop (performs an infinite computation). It is known that (deterministic) register machines recognize all recursively enumerable sets of numbers [11]. We may also consider non-deterministic register machines where the first type of instruction is of the form (p,a+,q,s) and with the following meaning: if the machine is in state p, then the register A is increased and the current state is changed to q or s non-deterministically. A non-deterministic register machine generates the set of all values of the first register resulting from computations that stop on an empty input. We assume that the machine empties all registers except the first register before stopping. It is known that non-deterministic register machines generate all recursively enumerable sets of non-negative integers. A tissue P system with symport/antiport of degree m 1 is a construct Π = (O,G,w 1,...,w m,e,r,i 0 ), where O is the alphabet of objects and G is the underlying directed labelled graph of the system. The graph G has m + 1 nodes and the nodes are numbered from 0 to m. We shall also call nodes from 1 to m cells and node 0 the environment. There is an edge between each cell i, 1 i m, and the environment. Each cell contains a multiset of objects, initially cell i, 1 i m, contains multiset w i. The environment is a special node which contains symbols from E in infinite multiplicity as well as a finite multiset over O\E, but initially this multiset is empty. The symbol i 0 (1...m) indicates the output cell, and R is a finite set of rules (associated to edges) of the following forms: (1) (i,x,j), 0 i m,0 j m,i j, x O + and not i = 0 & x E + (symport rules for the communication). () (i,x/y,j), 0 i,j m,i j, x,y O + (antiport rules for the communication). We remark that G may be deduced from relations of R. More exactly, G contains m + 1 vertices and there is an oriented edge between vertex i and j if and only if there is a rule (i,x,j) in R and edges between i and j and j and i if and only if there is a rule (i,x/y,j) in R. However, we prefer to indicate both G and R because it simplifies the presentation. The rule (i,x,j) sends a multiset of objects x from node i to node j. The rule (i,x/y,j) exchanges multisets x and y situated in nodes i and j respectively. The weight of symport rule (i,x,j) is equal to x, while the weight of an antiport rule is equal to max{ x, y }. A computational step is made by applying all applicable rules from R in a nondeterministic maximal parallel way. A configuration of the system is an (m + 1)- tuple (z 0,z 1,...,z m ) where each z i,1 i m, represents the contents of cell i and

5 May 9, :30 WSPC/INSTRUCTION FILE tisymanh Minimal Cooperation in Symport/Antiport Tissue P Systems 5 z 0 represents the multiset of objects that appear with a finite multiplicity in the environment (initially z 0 is the empty multiset). The computation stops when no rule may be applied. The result of a computation is given by the number of objects situated in cell i 0, i.e., by the size of the multiset from cell i 0. We denote by NOtP m,n (sym p,anti q ) the family of all sets of numbers computed by tissue P systems with symport/antiport of degree at most m with the maximal size of the connected component of the restriction of the graph to cells equal to n and which have symport rules of weight at most p and antiport rules of weight at most q. Example 1. Let us consider system Π = (O,G,w 1,...,w 6,E,R,), with O = {A,s,s,s,B,C}, E = {B,C} and which has the following underlying graph G (for commodity, we labelled its edges). We note that the environment (node 0) is connected to all other cells, but we indicate on the graph below only connections that are used Now we shall give rules and objects of Π. Node Object(s) 0. B,C 1. ss A n. B s Edge Rules : (4,C/B,0)..1 : (,sb/cc,0). : (,A,0) : (0,s,3) : (,ss,4) 4. : (,C,4) : (3,s/s,) 5. : (3,s,) : (4,s /s,5) 6. : (4,ss,5) : (4,sB,6) 7. : (4,s /s,6) 7.3 : (6,s,4) : (6,B,) : (1,sA,) : (1,s,3) : (5,ss,1) Now, let us see what the system Π computes. In the initial configuration rules 9.1 and 10.1 are applicable. This brings s and A in the second cell and s in cell 3. Now rules.1, 3.1, 5.1 and 5. permit to replace each B situated in cell by two copies of C. When there are no more copies of B, rule 4.1 can be applied, bringing s and s to cell 4. In the meanwhile, all C from cell go to cell 4 by rule 4.. In cell 4 all C are replaced by B. Rules 7.1, 7., 7.3 and 8.1 permit to move these B

6 6 A. Alhazov, Y. Rogozhin, S. Verlan to cell 6 and after that to cell. When there are no more B in cell 4, rules 6. and 11.1 are used bringing symbols s, s and s to their original locations. This last configuration has one A less in cell 1 and the double number of B in cell comparing to the initial configuration. It is easy to observe that after n such cycles the computation will stop because there will be no more A in cell 1. The result of the computation may be read in cell which contains n elements B. Therefore, given a number n, system Π computes n. 3. The power of symport/antiport of weight 1 In this section we investigate the power of systems having symport/antiport rules of weight 1. Firstly, we show that systems having only one cell are not very powerful. Theorem 1. NOtP 1,1 (sym 1,anti 1 ) NFIN. Proof. Consider an arbitrary P system Π with 1 cell and symport/antiport rules of weight 1, Π = (O,G,w 1,E,R,1). Consider also an arbitrary halting computation, ending in some configuration C = (z 0,z 1 z e ) with z 1 (O \ E) and z e E and w 0 (O \ E). We claim that z 1 + z e w 1. We shall prove this assertion by contradiction. Let us assume the contrary. Since the number of objects in the membrane can only increase by symport rules, some rule p 0 : (0,s 0,1) had to be applied at some step (by definition s 0 O \ E). This implies that s 0 has been brought to the environment. We can assume that rules p i : (1,s i /s i 1,0), 1 i < n, have been applied (n 0), s i O \ E, 1 i n. Suppose also that n is maximal (s n was not brought to the environment by antiport with another object from O \ E). Thus R either contains rule p : (1,s n,0), or p : (1,s n /a,0), a O. Now let us examine the final (halting) configuration. If s 0 is in z 1, then p 0 can be applied, hence the configuration is not halting. Therefore s 0 is in w 0. For all 1 i n, given s i 1 in z 0, if s i is in z 1, then p i can be applied, hence the configuration is not halting. Consequently, s i is in z 0 as well. By induction, we obtain that s n is in z 0. However, this implies that either p R and p can be applied, or some p R and p can be applied, therefore the configuration is not halting. This implies that any computation where the number of objects inside the membrane is increased cannot halt. Therefore, Π can only generate numbers not exceeding w. The statement of the theorem follows directly from here. The following lemma shows that two cells are already sufficient to simulate a register machine. Lemma 1. For any deterministic register machine M and for any input I n there is a tissue P system with symport/antiport of degree two having symport and antiport rules of weight 1, which simulates M on this input and produces the same result, i.e., such that:

7 Minimal Cooperation in Symport/Antiport Tissue P Systems 7 (1) If M computes O n on input I n, then L(Π) will contain a unique element O n. () If M does not halt on I n, then L(Π) will be the empty set. Proof. We consider an arbitrary deterministic register machine M = (Q,R,q 0,q f,p) with k registers ( R = k), and we construct a tissue P system with symport/antiport Π that will simulate this machine on the input I n. We consider a more general problem: we shall simulate M on any initial configuration (q 0,N 1,...,N k ). We organize the proof as follows. First, we give the formal definition of Π. After that, we present in an informal way how instructions of M are simulated. Finally, a more detailed proof is given. We define the system as follows. Π = (O,G,w 1,w,E,R Π,). O = Q R {A + pq (p,a+,q) P } {p,p,q pqs,q 0 pqs (p,a,q,s) P }. E = R. We consider the following underlying graph G: 3 w 0 w w 1 w 1 = (Q \ {q 0 }) {A pq (p, A+, q) P } {p, p, Q pqs, Q 0 pqs (p, A, q, s) P }. w = {q 0 } {r Nj j 1 j k}. Below we give in tables rules of the system. In fact, R Π is the union of all cells in all tables. Rules are numbered according to the following convention: the second number is the number of the edge where the rule is located, the first number indicates which instruction is simulated using this rule: 1 for incrementing, for decrementing, 3 for stop and 0 for rules not related to these categories. The third is the number of corresponding rule in group. Rules of R Π which do not fall in any category (q Q): Edge Rules : (0,q,) For any rule (p,a+,q) P there are the following rules in R Π : Edge Rules : (0,A + pq/q,1) : (,p/a + pq,1) : (,A + pq/a,0)

8 8 A. Alhazov, Y. Rogozhin, S. Verlan For any rule (p,a,q,s) P there are the following rules in R Π : Edge Rules : (0,p /Q pqs,1).1. : (1,p,0).1.3 : (0,Q pqs/q 0 pqs,1).1.4 : (0,Q 0 pqs/s,1)...1 : (,p/p,1).. : (,p /Q 0 pqs,1)..3 : (,Q pqs/q,1)..4 : (,Q 0 pqs,1) : (,p /p,0).3. : (,A/Q pqs,0) Rules associated to the STOP instruction: Edge Rules : (,q f,1) 3. We organize system Π as follows. Cell contains the current configuration of machine M. Cell 1 contains one copy of objects that correspond to each state. In the same cell, there are additional symbols used for the simulation of the decrementing operation and which are present in one copy. The environment (node 0) contains symbols r j, 1 j k, which are used to increment registers. These symbols are present in an infinite number of copies. Each configuration (p,n 1,...,n k ) of machine M is encoded as follows. Cell contains objects r j of the multiplicity n j, 1 j k, as well as the object p. It is easy to observe that the initial configuration of Π corresponds to an encoding of the initial configuration of M. Now we shall discuss the simulation of instructions of M. Incrementing Suppose that M is in configuration (p,n 1,...,n k ) and that there is a rule (p,r j +,q) in P. Let us denote r j by A and suppose that the value of counter A is equal to n (n j = n). This corresponds to the following configuration of Π where we indicate only symbols that we effectively use. A 0 A n p 1 A+ pq q It is clear that in order to simulate the above instruction p and q should be exchanged and one A should come from the environment to cell. This is done by symbol A + pq, which travels from cell 1 to cell, the environment and back exchanging with p, A and q.

9 Minimal Cooperation in Symport/Antiport Tissue P Systems 9 Now we present the evolution of the system in more details. The symbol p in the second cell that encodes the current state of M triggers the application of rule 1..1 and it exchanges with A + pq which comes to the second cell. After that, the last symbol brings an object A to cell, which corresponds to an incrementing of register A. Further, symbol A + pq goes to cell 1 and brings from there to the environment the new state q. After that, symbol q moves to cell. A 0 A n+1 q 1 A+ pq p The last configuration differs from the first one by the following. In cell, there is one more copy of object A and the object p was replaced by the object q. All other symbols remained on their places and the symbol p was moved to cell 1 which contains as before one copy of each state of the register machine that is different from the current. This corresponds to the following configuration of M: (q,n 1,...,n j + 1,...,n k ), i.e., the corresponding instruction of M was simulated. Decrementing Suppose that M is in configuration (p,n 1,...,n k ) and that there is a rule (p,r j,q,s) in P. Let us denote r j by A and suppose that the value of A is n (n j = n). This corresponds to the following configuration of Π where we indicate only symbols that we effectively use. A n p p,a 0 1 p q,s Q 0 pqs,q pqs The idea of the decrementing is very simple. First we duplicate the information that the current state is p by using objects p and p. After that, these objects are moved in opposite directions: p clockwise and p anticlockwise. If possible, the first object will take off one A from cell. The zero test is made based on the reciprocal position of these objects after some steps of computation. If they are in cells and 1 respectively, then this means that one A was subtracted. Otherwise, if p is in the environment and p is in cell 1, which means that the value of register A is zero. Based on this information the corresponding branch of the computation is selected. Now we give more details on the evolution of the system. The symbol p in the second cell that encodes the current state of M triggers the application of rule..1 and it exchanges with p which comes to the second cell. After that, the last symbol goes to the environment bringing at the same time the symbol p in cell. During

10 10 A. Alhazov, Y. Rogozhin, S. Verlan next step, symbol p exchanges with Q pqs and symbol p exchanges with Q 0 pqs. The obtained configuration is shown below. Q pqs, A 0 A n Q 0 pqs 1 p,q,s p,p Now there are two cases, n > 0 and n = 0, and the system behaves differently in each case. CASE A: n > 0 In this case, Q pqs goes to cell and brings a symbol A to the environment, hence decrementing the register. At the same time symbol p returns to the environment. Finally, the symbol Q pqs brings the symbol q to cell : A n 1 q p,a 0 1 p,s p Q pqs,q 0 pqs We can see that the obtained configuration differs from the first one by the following. In cell, there is one copy of object A less and the object p was replaced by the object q. All other symbols remained on their places and the symbol p was moved to cell 1 which contains as before one copy of each state of the register machine that is different from current. This corresponds to the following configuration of M: (q,n 1,...,n j 1,...,n k ), i.e., the corresponding instruction of M was simulated. CASE B: n = 0 In this case, Q pqs remains in the environment for one more step. After that, it exchanges with Q 0 pqs which returns to cell 1. After that Q 0 pqs brings to the environment the symbol s which moves after that to cell (see configuration at the right). We remark that the first exchange takes place only if the value of register A is equal to zero, otherwise rule.3. is applied and the exchange above cannot happen. s p,a 0 1 p,q p Q pqs,q 0 pqs We can see that the obtained configuration differs from the first one by the following. In cell, the object p was replaced by the object s. All other symbols remained on their places and the symbol p was moved to cell 1 which contains as before one copy of each state of the register machine that is not current. This

11 Minimal Cooperation in Symport/Antiport Tissue P Systems 11 corresponds to the following configuration of M: (s,n 1,...,n j 1,0,n j+1,...,n k ), i.e., the corresponding instruction of M was simulated. Stop If the system is in halting state q f, then rule 3..1 moves the symbol q f to cell 1. Since cell contain only symbols corresponding to the value of the output register, the system cannot evolve any more and the computation stops. It is clear that we simulate the behavior of M. Indeed, we simulate an instruction of M and all additional symbols return to their places which permits to simulate the next instruction of M. Moreover, this permits to reconstruct easily a computation in M from a successful computation in Π. For this it is enough to look for configurations which have a state symbol p in cell. We stop the computation when rule 3..1 is used and symbol q f goes to cell 1. In this case, cell contains the result of the computation. Theorem. NOtP, (sym 1,anti 1 ) = NRE. Proof. It is easy to observe that the system of previous lemma may simulate a non-deterministic register machine. Indeed, in order to simulate a rule (p,a+,q,s) of such machine, we use the same rules and objects as for rule (p,a+,q). We only need to add a rule : (0,A + pq/s,1) to edge 1. Descriptional Complexity Let M be a register machine having n states, k registers and n 1 incrementing instructions, i.e., M has n n 1 1 decrementing instructions. In this case the system constructed as in Lemma 1 need at most n 1 + 4(n n 1 1) + n = 5n 3n 1 4 symbols present in one copy, k symbols present in infinite number of copies, 3n 1 +8(n n 1 1) = 8n 5n 1 8 antiport rules and n+(n n 1 1)+1 = 3n n 1 1 symport rules. 4. The power of symport of weight In this section we consider systems with symport rules of weight and 1. Similarly to the case discussed in the previous section, when only one cell is used then corresponding systems are not very powerful and may generate only finite sets of numbers [8]. With two cells the computational power increases and becomes equal to the power of register machines. Lemma. For any deterministic register machine M and for any input I n there is a tissue P system with symport/antiport of degree having only symport rules of weight at most, which simulates M on this input and produces the same result, i.e., such that: (1) If M computes O n on input I n, then L(Π) will contain a unique element O n. () If M does not halt on I n, then L(Π) will be the empty set.

12 1 A. Alhazov, Y. Rogozhin, S. Verlan Proof. As in previous case we consider an arbitrary deterministic register machine M = (Q,R,q 0,q f,p) with k registers (k = R ), and we construct a tissue P system with symport/antiport that will simulate this machine on any initial configuration (q 0,N 1,...,N k ). We organize the proof as follows. First, we give the formal definition of Π. After that, since the simulation is very similar to the one from Lemma 1, we present only things that are different from the previous proof. We assume, by commodity, that we may have objects initially present in a finite number of copies in the environment and we denote this multiset by w 0. We shall show later that this assumption is not necessary. Let m be the number of instructions of M and m 1 the number of incrementing instructions. Let l = m + 5(m m 1 1) + m 1 = 6m 4m 1 5. We define the system as follows. Π = (O,G,w 1,w,E,R Π,). O = Q R {X q q Q} {A + pq (p,a+,q) P } {Y,E,E Y,E,S,V } {p,p,p 0,Z pqs,z pqs,d pqs,d pqs,x pqs,x p 0 (p,a,q,s) P } {E j,e j 1 j l + 1}. E = R. Consider the following multisets over O. V 1 = {X q q Q}, V = {X pqs (p,a,q,s) P }, V 3 = {X p 0 (p,a,q,s) P }, V 4 = {p,a + st (p,a,q,l) P,(s,B+,t) P } and V = V 1 V V V 3 V 3 V 4, Let n 1 = V 1, n = V, n 3 = V 3, n 4 = V 4 and n = V, i.e., n = n 1 + n + n 3 + n 4 (it is clear that n = l). We number elements of V = {a 1,...,a n } as follows. Elements of V 1 will receive numbers from 1 to n 1. Elements of V will receive numbers from n 1 +1 to n 1 +n. Elements of V 3 will receive numbers from n 1 + n + 1 to n 1 + n + n 3. Elements of V 4 will receive numbers from n 1 + n + n 3 to n. Now we define initial multisets (1 j n + 1, 1 t k). We consider that initially the environment may contain a non-empty multiset of objects w 0. We shall show later that this assumption is not necessary. w 0 = {p,d pqs,d pqs,z pqs (p,a,q,s) P } {E j,e }. w 1 = (Q \ {q 0 }) {p 0,D pqs,z pqs (p,a,q,s) P } {E j,e Y }. w = {Y,q 0 } {r Nt t } {A + pq (p,a+,q) P } {p (p,a,q,s) P } {E,S,X pqs,x pqs,x p 0,X p 0,X q }.

13 Minimal Cooperation in Symport/Antiport Tissue P Systems 13 We consider the following underlying graph G: 3 w 0 w w 1 Below we give in tables rules of the system. In fact, R Π is the union of all cells in all tables. Rules are numbered according to the following convention: the second number is the number of the edge where the rule is located, the first number indicates which instruction is simulated using this rule: 1 for incrementing, for decrementing, 3 for stop and 0 for rules not related to these categories. The third is the number of corresponding rule in group. Rules of R Π which do not fall in any category (q Q): Edge Rules : (1,A,0) : (0,qY,) 0.3. : (,Y,0) For any rule (p,a+,q) P there are the following rules in R Π : Edge Rules : (0,A + pqq,1) : (,pa + pq,1) : (,A + pqa,0) For any rule (p,a,q,s) P there are the following rules in R Π : Edge Rules : (1,p p 0,0).1. : (0,p p 0,1).1.3 : (1,D pqs D pqs,0).1.4 : (1,D pqsq, 0).1.5 : (0,Z pqs Z pqs,1).1.6 : (1,Z pqss,0)...1 : (,pp,1).. : (,D pqs A,1)..3 : (1,p Z pqs,)..4 : (,D pqsz pqs,1)..5 : (,D pqsv,1)..6 : (1,V,) : (0,p D pqs,).3. : (0,D pqsd pqs, ).3.3 : (,D pqs Z pqs,0).3.4 : (,p,0) Below we give rules and objects associated to the STOP instruction (1 i n, 1 j n + 1):

14 14 A. Alhazov, Y. Rogozhin, S. Verlan Edge Rules : (1,EE Y,0) 3.1. : (0,E Y Y,1) : (1,SE 1,0) : (1,E i E i+1,0) : (1,X q q,0) : (1,X pqs Z pqs,0) : (1,X p 0p 0,0) : (,q f E,1) 3.. : (,E S,1) 3..3 : (,E i a i,1) 3..4 : (,E i V,1) 3..5 : (,E n+1 E,1) : (0,EE,) 3.3. : (0,E j E j,) : (,V E n+1,0) We organize system Π as in Lemma 1. Cell contains the current configuration of machine M. All cells contain additional symbols used for the simulation of M. The simulation of M is similar to Lemma 1. The incrementing of a register is done directly using the symbol A + pq. The decrementing operation based on same ideas as for Lemma 1. More exactly, the signal that the system has to perform the decrementing operation is duplicated (p and p ) and one symbol tries to decrement the corresponding register, while the other one is delayed in order to make the zero check. The key point consists in the fact that if the register is non-empty, then rules.. and..3 are applied simultaneously and symbols D pqs and Z pqs cannot meet in cell. Contrarily, if the corresponding register is empty, then these symbols meet in cell permitting the simulation of the corresponding branch. The key difference from the previous lemma consists in the termination procedure. Since the system contains a lot of additional symbols, in particular in cell, this cell must be cleaned at the end of the computation avoiding at the same time possible conflicts with other rules. This is done in several stages. More precisely, the main problem is to move symbols p from cell to cell 1. In order to solve this, it is sufficient to disable the group of rules.1.1. This might be done in several stages. (1) Move symbol Y to cell 1 (thus disabling rule 0.3.1). () Move all state symbols (q) to the environment (disabling rule.1.6). (3) Move symbols Z pqs to cell 1 (disabling rule.1.5). (4) Move symbols Z pqs to the environment (disabling rule..3). (5) Move symbols p to cell 1 (disabling rule.1.). (6) Move symbols p 0 to the environment (disabling rule.1.1). (7) Finally move symbols p to cell 1. Rules 3..1, and 3.1. permit to realize the first stage. Rules 3.3., 3..3, 3..4 and permit to move symbols a i from cell to cell 1 one after another. Now the main idea is to use existing rules from the decrementing phase and a special numeration of symbols in a way that will permit to accomplish all stages. First symbols X q are processed. After being moved to cell 1 these symbols move together with corresponding states q to the environment. Since the symbol Y is no

15 Minimal Cooperation in Symport/Antiport Tissue P Systems 15 more present, symbols q will remain there. Next, symbols X pqs are processed. These symbols are present in two copies. When the first copy arrives in cell 1, it moves the corresponding symbol Z pqs to the environment. After that, symbol Z pqs brings symbol Z pqs to cell 1 (rule.1.5). Now, the second copy of X pqs will definitively move symbols Z pqs to the environment, hence realizing stages 3 and 4. In a similar way, symbols X p 0 permit to move symbols p to cell 1 and symbols p 0 to the environment. Finally, all remaining symbols from cell are transferred to cell 1 or to the environment. Following same arguments like in Lemma 1 it is clear that we simulate the behavior of M. Now we will show that the assumption that w 0 is not empty is not necessary. Indeed, it is enough to place initially all symbols s i that are in w 0, except E, in cell as well as w 0 1 copies of symbol U. After that, rules (,s i U,0) must be added. It is clear that during the first step all symbols s i will move to the environment. The remaining symbol E must be placed in cell 1, as well as a copy of the symbol U. A similar rule (1,E U,0) will move E to the environment at the first step of the computation. Finally, in order to avoid a possible application of rules..5 and 3..4, the symbol V must be initially placed in cell 1. We remark that if we permit a simple encoding of the result, then there is no need for the group of rules associated to the STOP instruction. In this case, if the result of computation of M over input I n is s, then system Π will compute number s + m (recall that m is the number of instructions of Π). Theorem 3. NOtP, (sym,anti 0 ) = NRE. Proof. It is easy to observe that the system of previous lemma may simulate a non-deterministic register machine. Indeed, in order to simulate a rule (p,a+,q,s) of such machine, we use the same rules and objects as for rule (p,a+,q). We only need to add a rule : (0,A + pqs,1) to the edge 1. Descriptional Complexity Let M be a register machine having n states, k registers and n 1 incrementing instructions, i.e., M has n n 1 1 decrementing instructions. In this case the system constructed as in Lemma needs at most 14n 16n 1 13 symbols present in one copy, k symbols present in infinite number of copies 4n 9n 1 8 symport rules of weight and n n 1 + k + 1 symport rules of weight Conclusions In this article we studied tissue P systems with symport/antiport. We considered variants using minimal cooperation (symport of weight two or antiport of weight one) and we showed that they are able to generate any recursively enumerable set of

16 16 A. Alhazov, Y. Rogozhin, S. Verlan numbers with only two cells. We remark that contrarily to other proofs concerning P systems with symport/antiport, the system that we constructed is deterministic. Consequently, if we have a deterministic register machine M and an initial configuration (q 0,n 1,...,n k ) of this machine, then the corresponding system constructed as described in Lemma 1 and Lemma will have a deterministic behavior, i.e., there will be only one possible evolution at each step and it will halt if and only if M halts on the above configuration. We highlight this deterministic evolution because it makes the behavior of the system more predictable and makes such systems good candidates for possible implementations. Another advantage of our proof technique with respect to other proofs is that we need only k symbols present in an infinite number of copies, where k is the number of registers of M. All other symbols are present in one or two copies. We also showed that if only one cell is considered, then corresponding systems generate at most finite sets of numbers. Therefore, we completely solved the open question about the minimal antiport from [18], as well as about the minimal symport. We remark that the proof of Theorem 1 holds also in the case of ordinary P systems. However, the difference between two models in this case is minimal. An open problem concerns the number of symport rules used for minimal antiport systems. In our system we used 3n n 1 1 symport rules. Using ideas from [18] it is possible to decrease the number of symport rules down to 4. The question if we may obtain the same result using a smaller number of symport rules remains open. We remark that because we deal with antiport rules of size one, we need at least one symport rule, otherwise we cannot change the number of objects in the system. Acknowledgements The authors acknowledge the project P from the Supreme Council for Science and Technological Development of the Academy of Sciences of Moldova. References [1] A. Alhazov, R. Freund, and Yu. Rogozhin. Some optimal results on symport/antiport P systems with minimal cooperation. In Proceedings of the ESF Exploratory Workshop on Cellular Computing(Complexity Aspects), Sevilla (Spain), January 31st - February nd, p. 3 36, 005. [] A. Alhazov, R. Freund, and Yu. Rogozhin. Computational power of symport/antiport: History, advances, and open problems. In R. Freund, Gh. Păun, G. Rozenberg, and A. Salomaa, eds., Membrane Computing: 6th International Workshop, WMC 005, Vienna, Austria, July 18-1, 005, Revised Selected and Invited Papers, vol of Lecture Notes in Computer Science, p Springer-Verlag, 006. [3] A. Alhazov, M. Margenstern, V. Rogozhin, Yu. Rogozhin, and S. Verlan. Communicative P systems with minimal cooperation. In G. Mauri, Gh. Păun, M. Perez-Jimenez, G. Rozenberg, and A. Salomaa, eds., Membrane Computing, 5th International Workshop, WMC5, Milano, Italy, June, 14-16, 004, Revised Papers, vol of Lecture Notes in Computer Science, p , 005. [4] F. Bernardini and M. Gheorghe. On the power of minimal symport/antiport. In

17 Minimal Cooperation in Symport/Antiport Tissue P Systems 17 A. Alhazov, C. Martín-Vide, and G. Păun, eds., Preproceedings of the Workshop on Membrane Computing, p. 7 83, Tarragona, July [5] F. Bernardini and A. Păun. Universality of minimal symport/antiport: Five membranes suffice. In C. Martín-Vide, G. Mauri, Gh. Păun, G. Rozenberg, and A. Salomaa, eds., Membrane Computing, International Workshop, WMC 003, Tarragona, Spain, July, 17-, 003, Revised Papers, vol. 933 of Lecture Notes in Computer Science, p Springer-Verlag, 003. [6] R. Freund and A. Păun. Membrane systems with symport/antiport: Universality results. In Gh. Păun, G. Rozenberg, A. Salomaa, and C. Zandron, eds., Membrane Computing: International Workshop, WMC-CdeA 00, Curtea de Arges, Romania, August 19-3, 00. Revised Papers., vol. 597 of Lecture Notes in Computer Science, p Springer-Verlag, 003. [7] P. Frisco. About P systems with symport/antiport. In G. Pıaun, A. Riscos-Núñez, A. Romero-Jiménez, and F. Sancho-Caparrini, eds., Second Brainstorming Week on Membrane Computing, number TR 01/004, p University of Seville, 004. [8] P. Frisco and H. Hoogeboom. P systems with symport/antiport simulating counter automata. Acta Informatica, 41(-3): , 004. [9] L. Kari, C. Martín-Vide, and A. Păun. On the universality of P systems with minimal symport/antiport rules. In N. Jonoska, Gh. Păun, and G. Rozenberg, eds., Aspects of Molecular Computing: Essays Dedicated to Tom Head, on the Occasion of His 70th Birthday, vol. 950 of Lecture Notes in Computer Science, p Springer- Verlag, 004. [10] C. Martín-Vide, A. Păun, and Gh. Păun. On the power of P systems with symport rules. Journal of Universal Computer Science, 8(): , 00. [11] M. Minsky. Computations: Finite and Infinite Machines. Prentice Hall, Englewood Cliffts, NJ, [1] A. Păun and Gh. Păun. The power of communication: P systems with symport/antiport. New Generation Computing, 0(3):95 305, 00. [13] Gh. Păun. Computing with membranes. Journal of Computer and System Sciences, 1(61): , 000. Also TUCS Report No. 08, [14] Gh. Păun. Membrane Computing. An Introduction. Springer-Verlag, 00. [15] Gh. Păun, Y. Sakakibara, and T. Yokomori. P systems on graphs of restricted forms. Publicationes Mathematicae Debrecen, 60: , 00. [16] Gh. Păun and T. Yokomori. Membrane computing based on splicing. vol. 54 of DI- MACS Series in Discrete Mathematics and Theoretical Computer Science, p American Mathematical Society, [17] G. Vaszil. On the size of P systems with minimal symport/antiport. In Preliminary proceedings of WMC 004, Workshop on Membrane Computing, Milano, Italy, June, 14-16, 004, p , 004. [18] S. Verlan. Tissue P systems with minimal symport/antiport. In C. S. Calude, E. Calude, and M. J. Dinneen, eds., Developments in Language Theory: 8th International Conference, DLT 004. Auckland, New Zealand, December 13-17, 004. Proceedings, vol. 40 of Lecture Notes in Computer Science, p Springer-Verlag, 004. [19] C. Zandron. The P systems web page.