Skip to main content
Log in

P Systems with Symport/Antiport Rules: The Traces of Objects

  • Published:
Grammars

Abstract

We continue here the study of those P systems where the computation is performed by the communication of objects, that is, systems with symport and antiport rules. Instead of the (number of) objects collected in a specified membrane, as the result of a computation we consider the itineraries of a certain object through membranes, during a halting computation, written as a coding of the string of labels of the visited membranes. The family of languages generated in this way is investigated with respect to its place in the Chomsky hierarchy. When the (symport and antiport) rules are applied in a conditional manner, promoted or inhibited by certain objects which should be present in the membrane where a rule is applied, then a characterization of recursively enumerable languages is obtained; the power of systems with the rules applied freely is only partially described.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Alberts B. et al. Essential Cell Biology. An Introduction to the Molecular Biology of the Cell, Garland, New York, 1998.

    Google Scholar 

  • Ardelean I.I. The relevance of cell membranes for P systems. General aspects, Fundamenta Informaticae, 49: 1–3 (2002), in press.

    Google Scholar 

  • Dassow J. and Gh. Păun. Regulated Rewriting in Formal Language Theory, Springer, Berlin, 1989.

    Google Scholar 

  • Martín-Vide C., A. Păaun, Gh. Păun and G. Rozenberg. Membrane systems with coupled transport: universality and normal forms, submitted, 2002a.

  • Martín-Vide C., Gh. Păun and G. Rozenberg. Membrane systems with carriers, Theoretical Computer Science, 270: 779–796 (2002b).

    Google Scholar 

  • Păun, A. and Gh. Păun. The power of communication: P systems with symport/antiport, New Generation Computing, to appear, (2002a).

  • Păun, A., Gh. Păun and A. Rodríguez-Patón. Further remarks on P systems with symport rules, Ann. University Al.I. Cuza, Iaşi, to appear, (2002b).

  • Păun, A., Gh. Păun and G. Rozenberg. Computing by communication in networks of membranes, submitted, 2001.

  • Păun, Gh. Computing with membranes, Journal of Computer and System Sciences, 61(1): 108–143, (2000). Also Turku Center for Computer Science-TUCS Reports No. 208, 1998 (www.tucs.fi).

    Google Scholar 

  • Rozenberg, G. and A. Salomaa, editors. Handbook of Formal Languages, 3 vols., Springer, Berlin, 1997.

    Google Scholar 

  • A. Salomaa. Formal Languages, Academic Press, New York, 1973.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ionescu, M., Martín-Vide, C. & Păun, G. P Systems with Symport/Antiport Rules: The Traces of Objects. Grammars 5, 65–79 (2002). https://doi.org/10.1023/A:1016372801811

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1016372801811

Navigation