Advertisement

P Systems with Anti-Matter

  • Rudolf Freund
  • Gheorghe PăunEmail author
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8808)

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.

Keywords

Spike Train Output Neuron Descriptional Complexity Register Machine Natural Computing 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

Acknowledgments

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

References

  1. 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. 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. 3.
    Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing. Springer, Berlin (2006)zbMATHGoogle Scholar
  4. 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. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Gruska, J.: Descriptional complexity of context-free languages, pp. 71–83. High Tatras, Proc. Symp. Math. Found. Computer Sci. (1973)Google Scholar
  8. 8.
    Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2–3), 279–308 (2006)MathSciNetzbMATHGoogle Scholar
  9. 9.
    Korec, I.: Small universal Turing machines. Theoretical Comp. Sci. 168, 267–301 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)zbMATHGoogle Scholar
  12. 12.
    Metta, V.P., Kelemenova, A.: More on universality of spiking neural P systems with anti-spikes. Manuscript (2013)Google Scholar
  13. 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. 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)CrossRefGoogle Scholar
  15. 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)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 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)MathSciNetzbMATHGoogle Scholar
  17. 17.
    Pan, L., Păun, Gh: Spiking neural P systems with anti-spikes. Int. J. Comoputers, Comm. and Control 4(3), 273–282 (2009)CrossRefGoogle Scholar
  18. 18.
    Păun, A., Păun, G.: Small universal spiking neural P systems. BioSystems 90, 48–60 (2007)CrossRefzbMATHGoogle Scholar
  19. 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).MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)CrossRefzbMATHGoogle Scholar
  21. 21.
    Păun, Gh., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford. Univ. Press (2010)Google Scholar
  22. 22.
    Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, 3 vols. Springer, Berlin (1997)Google Scholar
  23. 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)CrossRefGoogle Scholar
  24. 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)CrossRefGoogle Scholar
  25. 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. 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)CrossRefGoogle Scholar
  27. 27.
    The P Systems Website: www.ppage.psystems.eu

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Faculty of InformaticsVienna University of TechnologyViennaAustria
  2. 2.Institute of Mathematics of the Romanian AcademyBucharestRomania

Personalised recommendations