Skip to main content
SpringerLink
Log in

Enhanced Mobile Membranes: Computability Results

  • Published:
Theory of Computing Systems Aims and scope Submit manuscript

Abstract

The enhanced mobile membranes is a variant of membrane systems which has been proposed for describing some biological mechanisms of the immune system. In this paper, we study the computational power of the enhanced mobile membranes. In particular, we focus on the power of mobility given by the operations endo, exo, fendo and fexo. The computational universality is obtained with 12 membranes, while systems with 8 membranes subsume PsET0L, and those with 3 membranes are contained in PsMAT.

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. Aman, B., Ciobanu, G.: Describing the immune system using enhanced mobile membranes. Electron. Not. Theor. Comput. Sci. 194(3), 5–18 (2008)

    Article  Google Scholar 

  2. Cardelli, L.: Brane calculi; Interactions of biological membranes. In: Proceedings of CMSB’04, pp. 257–278 (2004)

  3. Dassow, J., Paun, Gh.: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1989)

    Google Scholar 

  4. Freund, R., Păun, Gh.: On the number of non-terminals in graph-controlled, programmed, and matrix grammars. In: Proceedings of MCU’01, pp. 214–225 (2001)

  5. Krishna, S.N.: The power of mobility: four membranes suffice. In: Proceedings of CiE’05, pp. 242–251 (2005)

  6. Krishna, S.N., Ciobanu, G.: On the computational power of enhanced mobile membranes. In: Lecture Notes in Computer Science, vol. 5028, pp. 326–335. Springer, Berlin (2008)

    Google Scholar 

  7. Krishna, S.N., Paun, Gh.: Systems with mobile membranes. Nat. Comput. 4(3), 255–274 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  8. Paun, Gh.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  9. Paun, Gh.: Systems with active membranes: attacking NP-complete problems. J. Autom. Lang. Comb. 6(1), 75–90 (2001)

    MATH  MathSciNet  Google Scholar 

  10. Paun, Gh.: Membrane Computing. An Introduction. Springer, Berlin (2002)

    MATH  Google Scholar 

  11. Rozenberg, G., Salomaa, A. eds.: The Mathematical Theory of L Systems. Academic Press, San Diego (1980)

    MATH  Google Scholar 

  12. Salomaa, A.: Formal Languages. Academic Press, San Diego (1973)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Romanian Academy, Institute of Computer Science and A.I.Cuza University, 700506, Iaşi, Romania

    Gabriel Ciobanu

  2. IIT Bombay, Powai, Mumbai, 400 076, India

    Shankara Narayanan Krishna

Authors
  1. Gabriel Ciobanu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shankara Narayanan Krishna
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gabriel Ciobanu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ciobanu, G., Krishna, S.N. Enhanced Mobile Membranes: Computability Results. Theory Comput Syst 48, 715–729 (2011). https://doi.org/10.1007/s00224-010-9256-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00224-010-9256-9

Keywords

Search

Navigation