The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules

Pseudocode 1

Input: A P system    from  TSEC  and an input multiset  

Initialization phase:   is the initial configuration of  

while    is a non-halting configuration  do

Selection phase: Input  ,Output  

Execution phase: Input  , Output  

end while

Output: Yes  if    has an accepting computation,  No  otherwise