Skip to main content
SpringerLink
Log in

P Systems and Unique-Sum Sets

  • Conference paper
Membrane Computing (CMC 2010)

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

Included in the following conference series:

Abstract

We study P systems with symport/antiport and a new model of purely catalytic P systems, called purely multi-catalytic P systems, when these devices use only one symbol. Our proofs use unique-sum sets, sets of integer numbers whose sum can only be obtained in a unique way with the elements of the set itself.

We improve some results related to the descriptional complexity of the P systems with symport/antiport considered by us and we define one infinite hierarchy of computations.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alhazov, A., Freund, R.: P systems with one membrane and symport/antiport rules of five symbols are computationally complete. In: Gutiérrez-Naranjo, M.A., Riscos-Núñez, A., Romero-Campero, F.R., Sburlan, D. (eds.) Proceedings of the Third Brainstorming week on Membrane Computing, Sevilla, Spain, January 31 - February 4, pp. 19–28 (2005), Fe ́nix Editoria, Sevilla (2005)

    Google Scholar 

  2. Alhazov, A., Freund, R., Oswald, M.: Symbol/membrane complexity of P systems with symport/antiport. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 96–113. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)

    MATH  Google Scholar 

  4. Ja Barzin, M.: On a certain class of Turing machines (Minsky machines. Algebra i Logika 1(6), 42–51 (1963) (in Russian) MR 27 #2415.

    MathSciNet  Google Scholar 

  5. Frisco, P.: On s-sum vectors. Technical report, Heriot-Watt University, HW-MACS-TR-0058 (2008), http://www.macs.hw.ac.uk:8080/techreps/build_table.jsp

  6. Frisco, P.: Computing with Cells. Advances in Membrane Computing. Oxford University Press, Oxford (2009)

    Book  MATH  Google Scholar 

  7. Frisco, P.: Conformon P systems and topology of information flow. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 30–53. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  8. Greibach, S.A.: Remarks on blind and partially blind one-way multicounter machines. Theoretical Computer Science 7, 311–324 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  9. Hopcroft, J.E., Ullman, D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)

    MATH  Google Scholar 

  10. Ibarra, O.H.: On membrane hierarchy in P systems. Theoretical Computer Science 334, 115–129 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  11. Ibarra, O.H., Woodworth, S.: On symport/antiport P systems with small number of objects. International Journal of Computer Mathematics 83(7), 613–629 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  12. Minsky, M.L.: Computation: Finite and Infinite Machines. In: Automatic computation, Prentice-Hall, Englewood Cliffs (1967)

    Google Scholar 

  13. Păun, A., Păun, G.: The power of communication: P systems with symport/antiport. New Generation Computing 20(3), 295–306 (2002)

    Article  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  15. Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)

    Book  MATH  Google Scholar 

  16. Păun, G., Pazos, J., Pérez-Jiménez, M.J., Rodriguez-Paton, A.: Symport/antiport P systems with three objects are universal. Fundamenta Informaticae 64, 1–4 (2005)

    MathSciNet  MATH  Google Scholar 

  17. Qi, Z., You, J., Mao, H.: P systems and Petri nets. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 286–303. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  18. The P Systems Webpage, http://ppage.psystems.eu/

Download references

Author information

Authors and Affiliations

  1. School of Math. and Comp. Sciences, Heriot-Watt University, EH14 4AS, Edinburgh, UK

    Pierluigi Frisco

Authors
  1. Pierluigi Frisco
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

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

    Marian Gheorghe

  2. Department of Bioinformatics, School of Biology and Pharmacy, Friedrich Schiller University, Ernst-Abbe-Platz 1–4, 07743, Jena, Germany

    Thomas Hinze

  3. Institute of Mathematics of the Romanian Academy, P.O. Box 1-764, 014700, Bucureşti, Romania

    Gheorghe Păun

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

    Grzegorz Rozenberg

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

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Frisco, P. (2010). P Systems and Unique-Sum Sets. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. CMC 2010. Lecture Notes in Computer Science, vol 6501. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18123-8_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-18123-8_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-18122-1

  • Online ISBN: 978-3-642-18123-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation