Abstract
A k-output spiking neural P system (SNP) with output neurons, \({{O_1},\ldots{,{O_k}}}\), generates a tuple \({({n_1},\ldots{,{n_k}})}\) of positive integers if, starting from the initial configuration, there is a sequence of steps such that during the computation, each O i generates exactly two spikes aa (the times the pair aa are generated may be different for different output neurons) and the time interval between the first a and the second a is n i . After the output neurons generate their pairs of spikes, the system eventually halts. We give characterizations of sets definable by partially blind multicounter machines in terms of k-output SNPs operating in a sequential mode. Slight variations of the models make them universal.
Similar content being viewed by others
References
Gerstner W, Kistler W (2002) Spiking neuron models. Single neurons, populations, plasticity. Cambridge University Press
Greibach S (1978) Remarks on blind and partially blind one-way multicounter machines. Theoretical Comput Sci 7(3):311–324
Harju T, Ibarra O, Karhumaki J, Salomaa A (2002) Some decision problems concerning semilinearity and commutation. J Comput System Sci 65:278–294
Ionescu M, Păun Gh, Yokomori T Spiking neural P systems. Fundamenta Informaticae, to appear (also available at [12])
MaassW (2002) Computing with spikes. Special Issue Found Inform Process TELEMATIK 8(1):32–36
Maass W, Bishop C (eds) (1999) Pulsed neural networks. MIT Press, Cambridge
Minsky M (1967) Computation—finite and infinite machines. Prentice Hall, Englewood Cliffs, NJ
Păun Gh (2002) Membrane computing—an introduction. Springer-Verlag, Berlin
Păun Gh, Pérez-Jiménez MJ, Rozenberg G (2005) Spike trains in spiking neural P systems. Int J Found Comp Sci, to appear (also available at [12])
The P Systems Web Page (2005): http://psystems.disco.unimib.it
Acknowledgments
The research of O. H. Ibarra and S. Woodworth was supported in part by NSF Grants CCF-0430945 and CCF-0524136. The research of A. Păun was supported in part by NSF Grant CCF-0523572.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ibarra, O.H., Woodworth, S., Yu, F. et al. On spiking neural P systems and partially blind counter machines. Nat Comput 7, 3–19 (2008). https://doi.org/10.1007/s11047-007-9043-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-007-9043-y