Skip to main content
SpringerLink
Log in
Book cover

International Conference on Membrane Computing

CMC 2014: Membrane Computing pp 86–98Cite as

Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems

  • Conference paper
  • First Online:

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

Abstract

Membrane systems (with symbol objects) are distributed controlled multiset processing systems. Non-cooperative P systems with either promoters or inhibitors (of weight not restricted to one) are known to be computationally complete. Since recently, it is known that the power of the deterministic subclass of such systems is subregular. We present new results on the weight (one and two) of promoters and inhibitors, as well as characterizing the systems with priorities only.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alhazov, A., Freund, R.: Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN. In: Martínez-del-Amor, M.Á., Păun, Gh., Pérez-Hurtado, I., Romero-Campero, F.J. (eds.) The Tenth Brainstorming Week in Membrane Computing, vol. 1, pp. 25–34. Fénix Editora, Sevilla (2012), and in: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, Gy. (eds.) CMC 2012. LNCS, vol. 7762, pp. 101–111. Springer, Heidelberg (2013)

    Google Scholar 

  2. Alhazov, A., Sburlan, D.: Ultimately Confluent Rewriting Systems. Parallel Multiset–Rewriting with Permitting or Forbidding Contexts. In: Mauri, G., Păun, Gh., Pérez-Jímenez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 178–189. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Freund, R., Kari, L., Oswald, M., Sosík, P.: Computationally Universal P Systems without Priorities: Two Catalysts are Sufficient. Theoretical Computer Science 330(2), 251–266 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  4. Freund, R., Kogler, M., Oswald, M.: A General Framework for Regulated Rewriting Based on the Applicability of Rules. In: Kelemen, J., Kelemenová, A. (eds.) Computation, Cooperation, and Life. LNCS, vol. 6610, pp. 35–53. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  5. Freund, R., Verlan, S.: A Formal Framework for Static (Tissue) P Systems. In: Eleftherakis, G., Kefalas, P., Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 271–284. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Ibarra, O.H., Yen, H.-C.: Deterministic Catalytic Systems are Not Universal. Theoretical Computer Science 363, 149–161 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  7. Minsky, M.L.: Finite and Infinite Machines. Prentice Hall, New Jersey (1967)

    MATH  Google Scholar 

  8. Păun, Gh.: Membrane Computing: An Introduction. Springer (2002)

    Google Scholar 

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

    Google Scholar 

  10. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, 3 vol. Springer (1997)

    Google Scholar 

  11. P systems webpage: http://ppage.psystems.eu

Download references

Author information

Authors and Affiliations

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

    Artiom Alhazov

  2. Faculty of Informatics, Vienna University of Technology, Favoritenstr. 9, 1040, Vienna, Austria

    Rudolf Freund

Authors
  1. Artiom Alhazov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rudolf Freund
    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. Department of Computer Science, University of Sheffield, Sheffield, United Kingdom

    Marian Gheorghe

  2. Leiden Inst. Advanced Computer Science, Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  3. Turku Center for Computer Science, Turku, Finland

    Arto Salomaa

  4. Dept. Mathematics & Computer Science, Silesian University, Opava, Czech Republic

    Petr Sosík

  5. D.I.S.Co, University of Milan-Bicocca, Milan, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Alhazov, A., Freund, R. (2014). Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Sosík, P., Zandron, C. (eds) Membrane Computing. CMC 2014. Lecture Notes in Computer Science(), vol 8961. Springer, Cham. https://doi.org/10.1007/978-3-319-14370-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-14370-5_6

  • Published:

  • Publisher Name: Springer, Cham

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

  • Online ISBN: 978-3-319-14370-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation