Abstract
It is proved that four membranes suffice to a variant of P systems with symport/antiport with maximal parallelism to generate all recursively enumerable sets of numbers. P systems with symport/antiport without maximal parallelism are also studied, considering two termination criteria.
Similar content being viewed by others
References
Alhazov A, Martin-Vide C, Păun Gh (eds) (2003) PreProcedings of Workshop on Membrane Computing, WMC-2003, Tarragona, July 17–22, 2003. Technical Report, 28/03, Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona
Bernardini F, Gheorghe M (2003) On the power of minimal symport/antiport. 1:72–83
Bernardini F, Păun A (2004) Universality of minimal symport/antiport: Five membranes suffices. 7:43–54
Frisco P (2004) The conformon-P system: A molecular and cell biology-inspired comutability model. Theoretical Computer Science 312(2–3):295–319
Frisco P, Hoogeboom HJ accepted Acta Informaticae P systems with symport/antiport simulating counter automata
Hopcroft JE, Ullman JD (1979) Introduction to automata theory, languages, and computation. Addison-Wesley, Reading Mass.
Jonoska N, Păun Gh, Rozenberg G (eds) (2004) Aspects of molecular computing: Essays dedicated to Tom Head, on the occasion of his 70th birthday. Lecture Notes in Computer Science 2950, Springer, Berlin Heidelberg New York
Kari L, Martin-Vide C, Păun A (2004) On the universality of P systems with minimal symport/antiport rules. 7:254–265.
Martin-Vide C, Păun A, Păun Gh (2002) On the power of P systems with symport rules. The Journal of Universal Computer Science 8:317–331
Martin-Vide C, Păun A, Păun Gh, Rozenberg G (2002) Membrane systems with coupled transport: universality and normal forms. Fundamenta Informaticae 49:1–15
Minsky ML (1961) Recursive unsolvability of Post’s problem of “tag” and other topics in theory of Turing machines. Annals of Mathematics 74(3):437–455
Păun A, Păun Gh (2002) The power of communication: P systems with symport/antiport. New Generation Computing 20(3):295–306
Păun Gh (2000) Computing with membranes. Journal of Computer and System Sciences 1(61):108–143
Păun Gh (2002) Membrane computing. An introduction. Springer, Berlin Heidelberg New York
Păun Gh, Yu S (1999) On synchronization in P systems. Fundamenta Informaticae 34(4):397–410
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Frisco, P. About P systems with symport/antiport. Soft Comput 9, 664–672 (2005). https://doi.org/10.1007/s00500-004-0396-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-004-0396-1