Skip to main content
SpringerLink
Log in

Purely Catalytic P Systems over Integers and Their Generative Power

  • Conference paper
  • First Online:
Membrane Computing (CMC 2016)

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

Included in the following conference series:

  • 387 Accesses

Abstract

We further investigate the computing power of the recently introduced P systems with \(\mathbb Z\)-multisets (also known as hybrid sets) as generative devices. These systems apply catalytic rules in the maximally parallel way, even consuming absent non-catalysts, thus effectively generating vectors of arbitrary (not just non-negative) integers. The rules may only be made inapplicable by dissolution rules. However, this releases the catalysts into the immediately outer region, where new rules might become applicable to them. We discuss the generative power of this model. Finally, we consider the variant with mobile catalysts.

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 EPUB and 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

References

  1. Alhazov, A., Aman, B., Freund, R., Păun, G.: Matter and anti-matter in membrane systems. In: Jürgensen, H., Karhumäki, J., Okhotin, A. (eds.) DCFS 2014. LNCS, vol. 8614, pp. 65–76. Springer, Heidelberg (2014). doi:10.1007/978-3-319-09704-6_7

    Google Scholar 

  2. Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., Porreca, A.E., Zandron, C.: Semilinear sets, register machines, and integer vector addition (P) systems. In: Leporati, A., Zandron, C. (eds.) Proceedings of the Seventeenth International Conference on Membrane Computing (CMC17), 25–29 July 2016, Milan, Italy, pp. 39–56. Università degli Studi di Milano-Bicocca (2016)

    Google Scholar 

  3. Belingheri, O., Porreca, A.E., Zandron, C.: P systems with hybrid sets. In: Gheorghe, M., Konur, S. (eds.) Proceedings of the Workshop on Membrane Computing WMC 2016, Manchester (UK), 11–15 July 2016. School of Electrical Engineering and Computer Science, University of Bradford, Bradford, BD7 1DP, UK. Technical Report UB-20160819-1, pp. 34–41. University of Bradford (2016)

    Google Scholar 

  4. Carette, J., Sexton, A.P., Sorge, V., Watt, S.M.: Symbolic domain decomposition. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) CICM 2010. LNCS (LNAI), vol. 6167, pp. 172–188. Springer, Heidelberg (2010). doi:10.1007/978-3-642-14128-7_16

    Chapter  Google Scholar 

  5. Freund, R., Ibarra, O., Păun, G., Yen, H.C.: Matrix languages, register machines, vector addition systems. In: Naranjo, M.A.G., Riscos-Núñez, A., Romero-Campero, F.J., Sburlan, D. (eds.) Third Brainstorming Week on Membrane Computing, pp. 155–167. Fénix Editora, Sevilla, España (2005)

    Google Scholar 

  6. Freund, R., Ivanov, S., Verlan, S.: P systems with generalized multisets over totally ordered abelian groups. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 117–136. Springer, Heidelberg (2015). doi:10.1007/978-3-319-28475-0_9

    Chapter  Google Scholar 

  7. Greibach, S.A.: Remarks on blind and partially blind one-way multicounter machines. Theoret. Comput. Sci. 7(3), 311–324 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  8. Haase, C., Halfon, S.: Integer vector addition systems with states. In: Ouaknine, J., Potapov, I., Worrell, J. (eds.) RP 2014. LNCS, vol. 8762, pp. 112–124. Springer, Heidelberg (2014). doi:10.1007/978-3-319-11439-2_9

    Google Scholar 

  9. Hopcroft, J., Pansiot, J.J.: On the reachability problem for 5-dimensional vector addition systems. Theoret. Comput. Sci. 8(2), 135–159 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  10. Krishna, S.N., Păun, A.: Results on catalytic and evolution-communication P systems. New Gener. Comput. 22(4), 377–394 (2004)

    Article  MATH  Google Scholar 

  11. Păun, G.: Some quick research topics. http://www.gcn.us.es/files/OpenProblems_bwmc15.pdf

  12. Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61, 108–143 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  13. Păun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press Inc., New York (2010)

    Book  MATH  Google Scholar 

  14. The P Systems Website: http://ppage.psystems.eu

Download references

Author information

Authors and Affiliations

  1. Academy of Sciences of Moldova, Institute of Mathematics and Computer Science, Strada Academiei 5, 2028, Chişinău, Moldova

    Artiom Alhazov

  2. Dipartimento di Informatica, Sistemistica e Comunicazione, Università Degli Studi di Milano-Bicocca, Viale Sarca 336/14, 20126, Milano, Italy

    Omar Belingheri, Antonio E. Porreca & Claudio Zandron

  3. Faculty of Informatics, TU Wien, Favoritenstraße 9–11, 1040, Vienna, Austria

    Rudolf Freund

  4. Université Paris Est, Champs-sur-Marne, France

    Sergiu Ivanov

Authors
  1. Artiom Alhazov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Omar Belingheri
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rudolf Freund
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sergiu Ivanov
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Antonio E. Porreca
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Claudio Zandron
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rudolf Freund .

Editor information

Editors and Affiliations

  1. University of Milano-Bicocca , Milan, Italy

    Alberto Leporati

  2. Leiden University , Leiden, The Netherlands

    Grzegorz Rozenberg

  3. Turku Center for Computer Science , Turku, Finland

    Arto Salomaa

  4. University of Milan-Bicocca , Milan, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., Porreca, A.E., Zandron, C. (2017). Purely Catalytic P Systems over Integers and Their Generative Power. In: Leporati, A., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2016. Lecture Notes in Computer Science(), vol 10105. Springer, Cham. https://doi.org/10.1007/978-3-319-54072-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-54072-6_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-54071-9

  • Online ISBN: 978-3-319-54072-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation