Skip to main content
Springer Nature Link
Log in

Computationally Complete Generalized Communicating P Systems with Three Cells

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

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

Included in the following conference series:

  • 325 Accesses

Abstract

Generalized communicating P systems are particular variants of networks of cells where each rule moves only two objects. In this paper we show that GCPSs with three cells and with only join, or only split, or only chain rules are computationally complete computing devices. These bounds are improvements of the previous results.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Balaskó, Á., Csuhaj-Varjú, E., Vaszil, G.: Dynamically changing environment for generalized communicating P systems. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 92–105. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-28475-0_7

    Chapter  Google Scholar 

  2. Csuhaj-Varjú, E., Vaszil, G., Verlan, S.: On generalized communicating P systems with one symbol. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 160–174. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-18123-8_14

    Chapter  Google Scholar 

  3. Csuhaj-Varjú, E., Verlan, S.: On generalized communicating P systems with minimal interaction rules. Theor. Comput. Sci. 412, 124–135 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  4. Freund, R., Verlan, S.: A formal framework for static (tissue) P systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 271–284. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-77312-2_17

    Chapter  Google Scholar 

  5. Krishna, S.N., Gheorghe, M., Dragomir, C.: Some classes of generalised communicating P systems and simple kernel P systems. Technical report, CS-12-03, University of Sheffield (2013). http://staffwww.dcs.shef.ac.uk/people/M.Gheorghe/research/paperlist.html

  6. Krishna, S.N., Gheorghe, M., Dragomir, C.: Some classes of generalised communicating P systems and simple kernel P systems. In: Bonizzoni, P., Brattka, V., Löwe, B. (eds.) CiE 2013. LNCS, vol. 7921, pp. 284–293. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39053-1_33

    Chapter  Google Scholar 

  7. Krishna, S.N., Gheorghe, M., Ipate, F., Csuhaj-Varjú, E., Ceterchi, R.: Further results on generalised communicating P systems. Theor. Comput. Sci. (2017, in press). https://doi.org/10.1016/j.tcs.2017.05.020

  8. Minsky, M.: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)

    MATH  Google Scholar 

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

    MATH  Google Scholar 

  10. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 1–3. Springer, Heidelberg (1997). https://doi.org/10.1007/978-3-642-59136-5

    MATH  Google Scholar 

  11. Verlan, S., Bernardini, F., Gheorghe, M., Margenstern, M.: Computational completeness of tissue P systems with conditional uniport. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 521–535. Springer, Heidelberg (2006). https://doi.org/10.1007/11963516_33

    Chapter  Google Scholar 

  12. Verlan, S., Bernardini, F., Gheorghe, M., Margenstern, M.: Generalized communicating P systems. Theor. Comput. Sci. 404(1–2), 170–184 (2008)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgment

The work of E. CS-V. was supported by the National Research, Development, and Innovation Office - NKFIH, Hungary, Grant no. K 120558.

Author information

Authors and Affiliations

  1. Department of Algorithms and Their Applications, Faculty of Informatics, ELTE Eötvös Loránd University, Pázmány Péter sétány 1/c, Budapest, 1117, Hungary

    Erzsébet Csuhaj-Varjú

  2. Université Paris Est, LACL (EA 4219), UPEC, 94010, Créteil, France

    Sergey Verlan

Authors
  1. Erzsébet Csuhaj-Varjú
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sergey Verlan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Erzsébet Csuhaj-Varjú .

Editor information

Editors and Affiliations

  1. University of Bradford, Bradford, United Kingdom

    Marian Gheorghe

  2. Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  3. Turku Centre for Computer Science, Turku, Finland

    Arto Salomaa

  4. University of Milan-Bicocca, Milan, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Csuhaj-Varjú, E., Verlan, S. (2018). Computationally Complete Generalized Communicating P Systems with Three Cells. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2017. Lecture Notes in Computer Science(), vol 10725. Springer, Cham. https://doi.org/10.1007/978-3-319-73359-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-73359-3_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-73358-6

  • Online ISBN: 978-3-319-73359-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics