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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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)
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)
Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing. Springer, Berlin (2006)
Frisco, P., Gheorghe, M., Pérez-Jiménez, M.J., (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. Springer, Berlin (2014)
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)
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)
Gruska, J.: Descriptional complexity of context-free languages, pp. 71–83. High Tatras, Proc. Symp. Math. Found. Computer Sci. (1973)
Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2–3), 279–308 (2006)
Korec, I.: Small universal Turing machines. Theoretical Comp. Sci. 168, 267–301 (1996)
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)
Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)
Metta, V.P., Kelemenova, A.: More on universality of spiking neural P systems with anti-spikes. Manuscript (2013)
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)
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)
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)
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)
Pan, L., Păun, Gh: Spiking neural P systems with anti-spikes. Int. J. Comoputers, Comm. and Control 4(3), 273–282 (2009)
Păun, A., Păun, G.: Small universal spiking neural P systems. BioSystems 90, 48–60 (2007)
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).
Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)
Păun, Gh., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford. Univ. Press (2010)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, 3 vols. Springer, Berlin (1997)
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)
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)
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
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)
The P Systems Website: www.ppage.psystems.eu
Acknowledgments
Thanks are due to an anonymous referee for a careful reading of the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)