Towards a characterization of p systems with minimal symport/antiport and two membranes

  • Authors:
  • Artiom Alhazov;Yurii Rogozhin

  • Affiliations:
  • Institute of Mathematics and Computer Science, Academy of Sciences of Moldova;Institute of Mathematics and Computer Science, Academy of Sciences of Moldova

  • Venue:
  • WMC'06 Proceedings of the 7th international conference on Membrane Computing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove that any set of numbers containing zero generated by symport/antiport P systems with two membranes and minimal cooperation is finite (for both symport/antiport P systems and for purely symport P systems). On the other hand, one additional object in the output membrane allows symport/antiport P systems (purely symport P systems) with two membranes and minimal cooperation generate any recursively enumerable sets of natural numbers without zero. Thus we improve our previous results for symport/antiport P systems with two membranes and minimal cooperation from three “garbage” objects down to one object and for purely symport P systems from six objects down to one object. Thus we show the optimality of these results.