Abstract
We look at the recently introduced neural-like systems, called SN P systems. These systems incorporate the ideas of spiking neurons into membrane computing. We study various classes and characterize their computing power and complexity. In particular, we analyze asynchronous and sequential SN P systems and present some conditions under which they become (non-)universal. The non-universal variants are characterized by monotonic counter machines and partially blind counter machines and, hence, have many decidable properties. We also investigate the language-generating capability of SN P systems.
This research was supported in part by NSF Grants CCF-0430945 and CCF-0524136.
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.
References
Cavaliere, M., Egecioglu, O., Ibarra, O.H., Ionescu, M., Păun, Gh., Woodworth, S.: Asynchronous spiking neural P systems; Decidability and Undecidability 2006 (submitted)
Chen, H., Freund, R., Ionescu, M., Păun, Gh., Pérez-Jiménez, M.J.: On string languages generated by spiking neural P systems. In: Proc. 4th Brainstorming Week on Membrane Computing, pp. 169–194 (2006)
Chen, H., Ionescu, M., Ishdorj, T.-O., Păun, A., Păun, Gh., Pérez-Jiménez, M.J.: Spiking neural P systems with extended rules: Universality and languages, Natural Computing (special issue devoted to DNA12 Conf.) (to appear)
Chen, H., Ionescu, M., Păun, A., Păun, Gh., Popa, B.: On trace languages generated by (small) spiking neural P systems. In: Pre-proc. 8th Workshop on Descriptional Complexity of Formal Systems (June 2006)
Gerstner, W., Kistler, W.: Spiking Neuron Models. Single Neurons, Populations, Plasticity. Cambridge Univ. Press, Cambridge (2002)
Harju, T., Ibarra, O., Karhumaki, J., Salomaa, A.: Some decision problems concerning semilinearity and commutation. Journal of Computer and System Sciences 65, 278–294 (2002)
Greibach, S.: Remarks on blind and partially blind one-way multicounter machines. Theoretical Computer Science 7(3), 311–324 (1978)
Ibarra, O.H., Păun, A., Păun, Gh., Rodríguez-Patón, A., Sosik, P., Woodworth, S.: Normal forms for spiking neural P systems. Theoretical Computer Science (to appear)
Ibarra, O.H., Woodworth, S.: Characterizations of some restricted spiking neural P systems. In: Hoogeboom, H.J., Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 424–442. Springer, Heidelberg (2006)
Ibarra, O.H., Woodworth, S., Yu, F., Păun, A.: On spiking neural P systems and partially blind counter machines. In: Calude, C.S., Dinneen, M.J., Păun, Gh., Rozenberg, G., Stepney, S. (eds.) UC 2006. LNCS, vol. 4135, pp. 113–129. Springer, Heidelberg (2006)
Ionescu, M., Păun, Gh., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2-3), 279–308 (2006)
Maass, W.: Computing with spikes. Special Issue on Foundations of Information Processing of TELEMATIK 8(1), 32–36 (2002)
Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)
Păun, A., Păun, Gh.: Small universal spiking neural P systems. In: BWMC2006. BioSystems, vol. II, pp. 213–234, 2006 (in press)
Păun, Gh.: Membrane Computing – An Introduction. Springer, Heidelberg (2002)
Păun, Gh., Pérez-Jiménez, M.J., Rozenberg, G.: Spike trains in spiking neural P systems. Intern. J. Found. Computer Sci. 17(4), 975–1002 (2006)
The P Systems Web Page: http://psystems.disco.unimib.it
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ibarra, O.H., Woodworth, S. (2007). Spiking Neural P Systems: Some Characterizations . In: Csuhaj-Varjú, E., Ésik, Z. (eds) Fundamentals of Computation Theory. FCT 2007. Lecture Notes in Computer Science, vol 4639. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74240-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-74240-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74239-5
Online ISBN: 978-3-540-74240-1
eBook Packages: Computer ScienceComputer Science (R0)