[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers

  • Conference paper
Membrane Computing (WMC 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4361))

Included in the following conference series:

  • 428 Accesses

Abstract

The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant formalisms inspired by membranes interactions, namely, P systems and Brane Calculi. We compare the two formalisms with respect to their ability to act as generator devices. In particular, we show different ways of generating the set \({\cal L}=\{n^2\,|\,n \ge 1\}\) in P systems and in Brane Calculi.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Adleman, L.M.: Molecular computations of solutions to combinatorial problems. Science 226, 1021–1024 (1994)

    Article  Google Scholar 

  2. Besozzi, D., Busi, N., Franco, G., Freund, R., Păun, G.: Two universality results for (mem)brane systems. In: Gutiérrez Naranjo, M.A., Păun, G., Riscos-Núñez, A., Romero-Campero, F.J. (eds.) Proceedings of the Fourth Brainstorming Week on Membrane Computing, Fénix Editora, vol. I, pp. 49–62 (2006)

    Google Scholar 

  3. Busi, N., Gorrieri, R.: On the computation power of brane calculi. In: Third Workshop on Computational Methods in Systems Biology, Edinburgh (2005)

    Google Scholar 

  4. Cardelli, L.: Brane calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–278. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science 240(1), 177–213 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  6. Cardelli, L., Păun, G.: An universality result for a (mem)brane calculus based on mate/drip operations. Intern. J. Found. Computer Sci. 17(1), 49–68 (2006)

    Article  MATH  Google Scholar 

  7. Holland, J.H.: Adaptation in Natural and Artificial Systems. University of Michigan Press, Ann Arbor (1975)

    Google Scholar 

  8. McCulloch, W.S., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biophysics 5, 115–133 (1943)

    Article  MATH  MathSciNet  Google Scholar 

  9. Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  10. Păun, G., Pérez-Jiménez, M.J.: Recent computing models inspired from biology: DNA and membrane computing. Theoria 18, 72–84 (2003)

    Google Scholar 

  11. Păun, G.: Membrane Computing – An Introduction. Springer, Berlin (2002)

    MATH  Google Scholar 

  12. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An abstraction for biological compartments. Theoretical Computer Science 325(1), 141–167 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  13. Riscos-Núñez, A.: Cellular Programming: Efficient Resolution of Numerical NP-Complete Problems. Ph.D. Thesis. University of Seville (2004)

    Google Scholar 

  14. P systems web page: http://psystems.disco.unimib.it/

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università di Bologna, Mura Anteo Zamboni 7, I-40127, Bologna, Italy

    Nadia Busi

  2. Dpto. de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain

    Miguel A. Gutiérrez-Naranjo

Authors
  1. Nadia Busi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Miguel A. Gutiérrez-Naranjo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Leiden Institute of Advanced Computer Science, Universiteit Leiden, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Hendrik Jan Hoogeboom

  2. Institute of Mathematics of the Romanian Academy, PO Box 1-764, 014700, Bucureşti, Romania

    Gheorghe Păun

  3. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  4. Turku Centre for Computer Science (TUCS), Leminkäisenkatu 14, 20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Busi, N., Gutiérrez-Naranjo, M.A. (2006). A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2006. Lecture Notes in Computer Science, vol 4361. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11963516_15

Download citation

  • DOI: https://doi.org/10.1007/11963516_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69088-7

  • Online ISBN: 978-3-540-69090-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation