Skip to main content
SpringerLink
Log in

Languages generated by P systems with active membranes

  • Special Feature
  • Published:
New Generation Computing Aims and scope Submit manuscript

Abstract

We propose an alternative approach to generate languages by means of P systems: building up an appropriate representation for a string by means of a corresponding membrane structure and then generating the string by visiting the membrane structure according to a well-specified strategy. To this aim, we consider P systems with active membranes, allowing membrane creation or division or duplication and dissolution, where the output of a computation may be obtained either by visiting the tree associated with the membrane structure, or by following the traces of a specific object, called traveller, or sending out the objects. For each of these approaches, we provide characterizations of recursively enumerable languages based on P systems that use different sets of operations for modifying the membrane structure.

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

Access this article

Log in via an institution

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

  1. Bel Enguix, G., Cavaliere, M., Ceterchi, R., Gramatovici, R. and Martin-Vide, C., “An Application of Dynamic P Systems: Generating Context Free Languages,” inMembrane Computing (Pâun, G., Rozenberg, G., Salomaa, A. and Zandron, C. eds.),LNCS, 2597, pp. 90–106, Springer-Verlag, 2003.

  2. Ceterchi, R. and Martin-Vide, C., “Dynamic P Systems,” inMembrane, Computing (Pâun, G., Rozenberg, G., Salomaa, A. and Zandron, C. eds.),LNCS, 2597, pp. 146–186, Springer-Verlag, 2003.

  3. Ionescu, M., Martin-Vide, C. and Pâun, G., “P Systems with Symport/Antiport Rules: The Traces of Objects,” inPre-proceedings of Workshop on Membrane Computing (WMC-CdeA02) (Pâun, G. and Zandron, C. eds.),MolCoNet Project-IST-2001-32008, Publications No. 1, pp. 283–296, 2002.

  4. Ito, M., Martin-Vide, C. and Pâun, G., “A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems,” inWords, Semigroups, and Transducers (Ito, M., Pâun, G. and Yu, S. eds.), pp. 239–253, World Scientific, Singapore, 2001.

    Google Scholar 

  5. Madhu, M. and Krithivasan, K., “P Systems with Membrane Creation: Universality and Efficiency,” inProc., of Third International Conference on Machine, Computations and Universality (Margenstern, M. and Rogozhin, Y. eds.),LNCS, 2055, pp. 276–287, Springer-Verlag, 2001.

  6. Manca, V., Martin-Vide, C., Pâun, Gh., “Iterated GSM Mappings: A Collapsing Hierarchy,” inJewels are Forever (Karhumaki, J., Rozenberg, G., Pâun, G. and Mauer, H. eds.), pp. 182–199, Springer-Verlag, 1999.

  7. Martin-Vide, C., Pâun, A. and Pâun, G., “Membrane Computing: New Results, New Problems,”Bulletin of the EATCS, 78, pp. 204–212, 2002.

    Google Scholar 

  8. Martin-Vide, C., Pâun, A., Pâun, G. and Rozenberg, G., “Membrane Systems with Coupled Transport: Universality and Normal Forms”Fundamenta Informaticae, 49, 1–3, pp. 1–15, 2002.

    MATH  MathSciNet  Google Scholar 

  9. Pâun, A., “On P Systems with Membrane Division,” inUnconventional Models of Computation (Antoniou, I., Calude, C., S. and Dineen, M., J. eds.), pp. 187–201, Springer-Verlag, 2000.

  10. Pâun, G., “Computing with Membranes,”Journal of Computer and System Sciences, 61, 1, pp. 108–143, 2000.

    Article  MATH  MathSciNet  Google Scholar 

  11. Pâun, G., “Computing with Membranes: Attacking NP-Complete Problems,” inUnconventional Models of Computation (Antoniou, I., Calude, C. S. and Dineen, M., J. eds.), pp. 94–215, Springer-Verlag, 2000.

  12. Pâun, G.,Membrane Computing. An Introduction, Springer-Verlag, Berlin, 2002.

    MATH  Google Scholar 

  13. Pâun, G., Rozenberg, G. and Salomaa, A., “Membrane Computing with External Output,”Fundamenta Informaticae, 41, 3, pp. 259–266, 2000.

    MathSciNet  Google Scholar 

  14. Pâun, G., Suzuki, Y., Tanaka, H. and Yokomori, T., “On the Power of Membrane Division in P Systems,” to appear inTheoretical Computer Science.

  15. Zandron, C., Ferretti, C. and Mauri, G., “Using Membrane Features in P Systems,”Romanian Journal of Information Science and Technology, 4, 1–2, pp. 241–257, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The University of Sheffield, Regent Court, Portobello Street, S1 4DP, Sheffield, UK

    Francesco Bernardini & Marian Gheorghe

Authors
  1. Francesco Bernardini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marian Gheorghe
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Francesco Bernardini: He started his Ph.D. at the University of Sheffield in December 2002 after having previously got a master degree in Computer Science from the University of Pisa in Italy. His research is dedicated to the study of theoretical aspects of membrane computing (P systems) and discrete models of biological systems based on P systems.

Marian Gheorghe, Ph.D.: His main research interests are in computational models and their applications to software modelling and testing, formal specifications of agent based systems, software engineering. He was investigating computational power of various generative devices (regular, context-free, fully initial; grammar systems; L-systems and variants). He is currently interested in natural computing (membrane calculus) and biological modelling.

About this article

Cite this article

Bernardini, F., Gheorghe, M. Languages generated by P systems with active membranes. New Gener Comput 22, 311–329 (2004). https://doi.org/10.1007/BF03037284

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037284

Keywords

Search

Navigation