Abstract
Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the way neurons communicate by means of spikes. In this work, we consider SN P systems with the restriction: at each step the neuron with the maximum number of spikes among the neurons that can spike will fire (if there is a tie for the maximum number of spikes stored in the active neurons, only one of the neurons containing the maximum is chosen non-deterministically). We investigate the computational power of such sequential SN P systems that are used as language generators. We prove that recursively enumerable languages can be characterized as projections of inverse-morphic images of languages generated by that sequential SN P systems. The relationships of the languages generated by these sequential SN P systems with finite and regular languages are also investigated.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Chen, H., Freund, R., Ionescu, M., Păun, G., Pérez-Jiménez, M.J.: On string languages generated by spikng neural P systems. Fund. Inform. 75, 141–162 (2007)
Chen, H., Ionescu, M., Ishdorj, T.-O., Păun, A., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with extended rules: universality and languages. Nat. Comput. 7(2), 147–166 (2008)
Ibarra, O.H., Păun, A., RodrÃguez-Patón, A.: Sequential SNP systems based on min/max spike number. Theor. Comput. Sci. 410(30-32), 2982–2991 (2009)
Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fund. Inform. 71(2-3), 279–308 (2006)
Ishdorj, T.-O., Leporati, A., Pan, L., Zeng, X., Zhang, X.: Deterministic solutions to qsat and q3sat by spiking neural P systems with pre-computed resources. Theor. Comput. Sci. 411(25), 2345–2358 (2010)
Minsky, M.: Computation – Finite and Infinite Machines. Prentice Hall, Englewood Cliffs, New Jersey (1967)
Pan, L., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with neuron division and budding. Sci. China Inform. Sci. 54(8), 1596–1607 (2011)
Păun, A., Păun, G.: Small universal spiking neural P systems. BioSystems 90(1), 48–60 (2007)
Păun, A., Sidoroff, M.: Sequentiality induced by spike number in SNP systems: Small universal machines. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 333–345. Springer, Heidelberg (2012)
Păun, G., Rozenberg, G., Salomaa, A. (eds.): Handbook of Membrane Computing. Oxford University Press, Cambridge (2010)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3. Springer, Berlin (1997)
Song, T., Pan, L., Păun, G.: Asynchronous spiking neural P systems with local synchronization. Inform. Sciences 219, 197–207 (2013)
Wang, J., Hoogeboom, H.J., Pan, L., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with weights. Neural Comput. 22(10), 2615–2646 (2010)
Zhang, X., Zeng, X., Pan, L.: On languages generated by asynchronous spiking neural P systems. Theor. Comput. Sci. 410(26), 2478–2488 (2009)
Zhang, X., Zeng, X., Pan, L.: Smaller universal spiking neural P systems. Fund. Inform. 87(1), 117–136 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Jiang, K., Zhang, Y., Pan, L. (2014). On String Languages Generated by Sequential Spiking Neural P Systems Based on Maximum Spike Number. In: Ibarra, O., Kari, L., Kopecki, S. (eds) Unconventional Computation and Natural Computation. UCNC 2014. Lecture Notes in Computer Science(), vol 8553. Springer, Cham. https://doi.org/10.1007/978-3-319-08123-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-08123-6_17
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08122-9
Online ISBN: 978-3-319-08123-6
eBook Packages: Computer ScienceComputer Science (R0)