Skip to main content
SpringerLink
Log in

P Systems with Anti-Matter

  • Chapter
  • First Online:
Computing with New Resources

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

  • 892 Accesses

Abstract

After a quick introduction to the area of membrane computing (a branch of natural computing), recalling the basic notions of cell-like and spiking neural P systems, we introduce the concept of anti-matter in membrane computing. First we consider spiking neural P systems with anti-spikes, and then we show the power of anti-matter in cell-like P systems. As expected, the use of anti-matter objects and especially of matter/anti-matter annihilation rules, turns out to be rather powerful: computational completeness of P systems with anti-matter is obtained immediately, even without using catalysts. Finally, some open problems are formulated, too.

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

Access this chapter

Log in via an institution
eBook
USD 16.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., Aman, B., Freund, R., Păun, G.: Matter and anti-matter in membrane systems. Brainstorming Week in Membrane Computing, Sevilla, pp. 1–26 (2014)

    Google Scholar 

  2. Alhazov, A., Sburlan, D.: Static Sorting P Systems. In: Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds.) Applications of Membrane Computing, pp. 215–252. Springer, Natural Computing Series (2006)

    Google Scholar 

  3. Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing. Springer, Berlin (2006)

    MATH  Google Scholar 

  4. Frisco, P., Gheorghe, M., Pérez-Jiménez, M.J., (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. Springer, Berlin (2014)

    Google Scholar 

  5. Freund, R., Kari, L., Oswald, M., Sosík, P.: Computationally universal P systems without priorities: two catalysts are sufficient. Theoretical Computer Science 330, 251–266 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  6. Gheorghe, M., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G.: Frontiers of membrane computing: Open problems and research topics. Intern. J. Found. Computer Sci. 24(5), 547–623 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  7. Gruska, J.: Descriptional complexity of context-free languages, pp. 71–83. High Tatras, Proc. Symp. Math. Found. Computer Sci. (1973)

    Google Scholar 

  8. Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2–3), 279–308 (2006)

    MathSciNet  MATH  Google Scholar 

  9. Korec, I.: Small universal Turing machines. Theoretical Comp. Sci. 168, 267–301 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  10. Krithivasan, K., Metta, V.P., Garg, D.: On string languages generated by spiking neural P systems with anti-spikes. Intern. J. Found. Computer Sci. 22, 1 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  11. Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)

    MATH  Google Scholar 

  12. Metta, V.P., Kelemenova, A.: More on universality of spiking neural P systems with anti-spikes. Manuscript (2013)

    Google Scholar 

  13. Metta, V.P., Krithivasan, K., Garg, D.: Some characteristics of spiking neural P systems with anti-spikes. In: Proc. 11th Intern. Conf. on Membrane Computing, Jena, Germany, 291–303 (August 2010)

    Google Scholar 

  14. Metta, V.P., Krithivasan, K., Garg, D.: Modelling and analysis of spiking neural P systems with anti-spikes using Pnet lab. Nano Comm. Networks 1(2), 141–149 (2011)

    Article  Google Scholar 

  15. Metta, V.P., Krithivasan, K., Garg, D.: Computability of spiking neural P systems with anti-spikes. New Math. and Natural Comput. 8(3), 283–295 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  16. Metta, V.P., Krithivasan, K., Garg, D.: Spiking neural P systems with anti-spikes as transducers. Romanian J. Info. Sci. and Tehnology 14(1), 20–30 (2011)

    MathSciNet  MATH  Google Scholar 

  17. Pan, L., Păun, Gh: Spiking neural P systems with anti-spikes. Int. J. Comoputers, Comm. and Control 4(3), 273–282 (2009)

    Article  Google Scholar 

  18. Păun, A., Păun, G.: Small universal spiking neural P systems. BioSystems 90, 48–60 (2007)

    Article  MATH  Google Scholar 

  19. Păun, Gh: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000). (and Turku Center for Computer Science-TUCS Report 208, November 1998, www.tucs.fi).

    Article  MathSciNet  MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

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

    Google Scholar 

  22. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, 3 vols. Springer, Berlin (1997)

    Google Scholar 

  23. Song, T., Pan, L., Wang, J., Venkat, I., Subramanian, K.G., Abdullah, R.: Normal forms for spiking neural P systems with anti-spikes. IEEE Trans. Nanobioscience 22(4), 352–359 (2012)

    Article  Google Scholar 

  24. Song, T., Jiang, Y., Shi, X., Zeng, X.: Small universal spiking neural P systems with anti-spikes. J. Comput. and Th. Nanoscience 10(4), 999–1006 (2013)

    Article  Google Scholar 

  25. Song, T., Wang, X., Zhang, Z., Chen, Z.: Homogeneous spiking neural P systems with anti-spikes. Neural Comput. and Applic. (June 2013). doi:10.1007/s00521-0123-1397-8

  26. Tan, G., Song, T., Chen, Z., Zeng, X.: Spiking neural P systems with anti-spikes and without annihilating priority working in a “flip-flop” way. Intern. J. Computing Sci. and Math 4(2), 152–162 (2013)

    Article  Google Scholar 

  27. The P Systems Website: www.ppage.psystems.eu

Download references

Acknowledgments

Thanks are due to an anonymous referee for a careful reading of the paper.

Author information

Authors and Affiliations

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

    Rudolf Freund

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

    Gheorghe Păun

Authors
  1. Rudolf Freund
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gheorghe Păun
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gheorghe Păun .

Editor information

Editors and Affiliations

  1. Department of Computer Science, The University of Auckland, Auckland, New Zealand

    Cristian S. Calude

  2. University of Latvia, Riga, Latvia

    Rūsiņš Freivalds

  3. School of Informatics, Kyoto University, Kyoto, Japan

    Iwama Kazuo

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Freund, R., Păun, G. (2014). P Systems with Anti-Matter. In: Calude, C., Freivalds, R., Kazuo, I. (eds) Computing with New Resources. Lecture Notes in Computer Science(), vol 8808. Springer, Cham. https://doi.org/10.1007/978-3-319-13350-8_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13350-8_30

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13349-2

  • Online ISBN: 978-3-319-13350-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation