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.
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.
Ardelean I.I. The relevance of cell membranes for P systems. General aspects, Fundamenta Informaticae, 49: 1–3 (2002), in press.
Dassow J. and Gh. Păun. Regulated Rewriting in Formal Language Theory, Springer, Berlin, 1989.
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).
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).
Rozenberg, G. and A. Salomaa, editors. Handbook of Formal Languages, 3 vols., Springer, Berlin, 1997.
A. Salomaa. Formal Languages, Academic Press, New York, 1973.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1016372801811