Advertisement

New Generation Computing

, Volume 20, Issue 3, pp 295–305 | Cite as

The power of communication: P systems with symport/antiport

  • Andrei Pâun
  • Gheorghe Pâun
Special Issue

Abstract

In the attempt to have a framework where the computation is done by communication only, we consider the biological phenomenon of trans-membrane transport of couples of chemicals (one say symport when two chemicals pass together through a membrane, in the same direction, and antiport when two chemicals pass simultaneously through a membrane, in opposite directions). Surprisingly enough, membrane systems without changing (evolving) the used objects and with the communication based on rules of this type are computationally complete, and this result is achieved even for pairs of communicated objects (as encountered in biology). Five membranes are used; the number of membranes is reduced to two if more than two chemicals may collaborate when passing through membranes.

Keywords

Molecular Computing Membrane Computing Symport Antiport Computational Universality 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1).
    Alberts, B., et al.,Essential Cell Biology. An Introduction to the Molecular Biology of the Cell, Garland Publ. Inc., New York, London, 1998.Google Scholar
  2. 2).
    Dassow, J. and Pâun, Gh.,Regulated Rewriting in Formal Language Theory, Springer-Verlag, Berlin, 1989.CrossRefGoogle Scholar
  3. 3).
    Martin-Vide, C., Pâun, Gh. and Rozenberg, G., “Membrane Systems with Carriers,”Theoretical Computer Science, 270, pp. 779–796, 2002.MathSciNetCrossRefGoogle Scholar
  4. 4).
    Pâun, Gh., “Computing with Membranes,”Journal of Computer and System Sciences, 61, 1, pp. 108–143, 2000.MathSciNetCrossRefGoogle Scholar
  5. 5).
    Handbook of Formal Languages (Rozenberg, G. and Salomaa, A., eds.), Springer-Verlag, Berlin, 1997.zbMATHGoogle Scholar

Copyright information

© Ohmsha, Ltd. and Springer 2002

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of Western OntarioLondonCanada
  2. 2.Institute of Mathematics of the Romanian AcademyBucureştiRomania

Personalised recommendations