Simulating Counter Automata by P Systems with Symport/Antiport
The complexity, expressed in number of membranes and weight of rules, of Psystems with symport/antiport generating recursively enumerable sets is reduced if counter automata instead of matrix grammars are simulated. We consider both subsets of N obtained by counting objects in a designated membrane, and string languages obtained by following the traces of a designated object.
Unable to display preview. Download preview PDF.