Skip to main content
SpringerLink
Log in

On spiking neural P systems and partially blind counter machines

  • Published:
Natural Computing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10

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

    Article  MATH  MathSciNet  Google Scholar 

  • Harju T, Ibarra O, Karhumaki J, Salomaa A (2002) Some decision problems concerning semilinearity and commutation. J Comput System Sci 65:278–294

    Article  MATH  MathSciNet  Google Scholar 

  • 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

    Google Scholar 

  • 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

    MATH  Google Scholar 

  • Păun Gh (2002) Membrane computing—an introduction. Springer-Verlag, Berlin

    Google Scholar 

  • 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

Download references

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

  1. Department of Computer Science, University of California, Santa Barbara, CA, 93106, USA

    Oscar H. Ibarra, Sara Woodworth & Fang Yu

  2. Department of Computer Science/IfM, Louisiana Tech University, Ruston, LA, 71272, USA

    Andrei Păun

Authors
  1. Oscar H. Ibarra
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sara Woodworth
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fang Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andrei Păun
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Oscar H. Ibarra.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-007-9043-y

Keywords

Search

Navigation