Skip to main content
Log in

Homogenous spiking neural P systems with anti-spikes

  • Original Article
  • Published:
Neural Computing and Applications Aims and scope Submit manuscript

Abstract

Spiking neural P systems with anti-spikes (ASN P systems, for short) are a class of neural-like computing models in membrane computing, which are inspired by neurons communication through both excitatory and inhibitory impulses (spikes). In this work, we consider a restricted variant of ASN P systems, called homogeneous ASN P systems, where any neuron has the same set of spiking and forgetting rules. As a result, we prove that such systems can achieve Turing completeness. Specifically, it is proved that two categories of pure form of spiking rules (for a spiking rule, if the language corresponding to the regular expression that controls its application is exactly the form of spikes consumed by the rule, then the rule is called pure) are sufficient to compute and accept the family of sets of Turing computable natural numbers.

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

Access this article

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

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

References

  1. Chen H, Freund R, Ionescu M, Păun G, Pérez-Jiménez MJ (2007) On string languages generated by spiking neural P systems. Fundamenta Informaticae 75(1–4):141–162

    MathSciNet  MATH  Google Scholar 

  2. Francis GC, Henry A, Martínez-del-Amor MA (2011) An improved GPU simulator for spiking neural P systems. In: The proceedings of the 6th bio-inspired computing-theory and applications, Penang, Malaysia, pp 262–267

  3. Francis GC, Henry A, Martínez-del-Amor MA (2011) A spiking neural P system simulator based on CUDA. In: The proceeding of international conference on membrane computing, pp 87–103

  4. Ionescu M, Păun G, Yokomori T (2006) Spiking neural P systems. Fundamenta Informaticae 71(2–3):279–308

    MathSciNet  MATH  Google Scholar 

  5. Ionescu M, Sburlan D (2007) Some applications of spiking neural P systems. The 8th workshop on membrane computing, Thessaloniki, pp 383–394

  6. Ishdorj TO, Leporati A, Pan L, Zeng X, Zhang X (2010) Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources. Theoret Comput Sci 411(25):2345–2358

    Article  MathSciNet  MATH  Google Scholar 

  7. Jones R (2012) What males a human brain? Nat Rev Neurosci 13:655

    Article  Google Scholar 

  8. Leporati A, Zandron C, Ferretti C, Mauri G (2007) On the computational power of spiking neural P systems. In: The proceedings of 5th brainstorming week on membrane computing, Seville: Fenix Editora, pp 227–246

  9. Maass M, Bishop C (1999) Pulsed neural networks. MIT Press, Cambridge

    Google Scholar 

  10. Maass W (2002) Computing with spikes. Special Issue Found Inf Process TELEMATIK 8(1):32–36

    Google Scholar 

  11. Macías-Ramos LF, Pérez-Hurtado I., García-Quismondo M, Valencia-Cabrera L, Pérez-Jiménez MJ, Riscos-Núñez A (2012) A P-lingua based simulator for spiking neural P systems. Lect Notes Comput Sci 7184:257–281

    Google Scholar 

  12. Minsky M (1967) Computation—finite and infinite machines. Prentice Hall, New Jersey

    MATH  Google Scholar 

  13. Pan L, Păun G (2009) Spiking neural P systems with anti-spikes. Int J Comput Commun Control 4(3):273–282

    Google Scholar 

  14. Pan L, Păun G (2010) Spiking neural P systems: an improved normal form. Theoret Comput Sci 411(6):906–918

    Article  MathSciNet  MATH  Google Scholar 

  15. Pan L, Păun G, Pérez-Jiménez MJ (2011) Spiking neural P systems with neuron division and budding. Sci China Inf Sci 54(8):1596–1607

    Article  MathSciNet  MATH  Google Scholar 

  16. Pan L, Wang J, Hoogeboom HJ (2012) Spiking neural P systems with astrocytes. Neural Comput 24:1–24

    Article  MathSciNet  Google Scholar 

  17. Pan L, Zeng X (2011) Small universal spiking neural P systems working in exhaustive mode. IEEE Trans Nanobiosci 10(2):99–105

    Article  MathSciNet  Google Scholar 

  18. Pan L, Zeng X, Zhang X (2011) Time-free spiking neural P systems. Neural Comput 23(5):1320–1342

    Article  MathSciNet  MATH  Google Scholar 

  19. Pan L, Zeng X, Zhang X, Jiang Y (2012) Spiking neural P systems with weighted synapses. Neural Process Lett 35(1):13–27

    Article  Google Scholar 

  20. Păun A, Păun G (2007) Small universal spiking neural P systems. BioSystems 90:48–60

    Article  Google Scholar 

  21. Păun G (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143

    Article  MathSciNet  MATH  Google Scholar 

  22. Păun G (2009) A bibliography of spiking neural P system. In: The proceeding of 7th brainstorming week on membrane computing, sevilla, vol 2, pp 207–212

  23. Păun G, Rozenberg G, Salomaa A (eds) (2010) Handbook of membrane computing. Oxford University Press, Oxford

    MATH  Google Scholar 

  24. Song T, Pan L, Păun G (2013) Asynchronous spiking neural P systems with local synchronization. Inf Sci 219:197–207

    Article  MATH  Google Scholar 

  25. Thomas SP (2006) Evolution of the size and functional areas of the human brain. Ann Rev Anthropol 35:379–406

    Article  Google Scholar 

  26. Wang J, Hoogeboom HJ, Pan L, Păun G, Pérez-Jiménez MJ (2010) Spiking neural P systems with weights. Neural Comput 22(10):2615–2646

    Article  MathSciNet  MATH  Google Scholar 

  27. Zhang X, Zeng X, Pan L (2008) On string languages generated by SN P systems with exhaustive use of rules. Nat Comput 7(4):535–549

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Xun Wang.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Song, T., Wang, X., Zhang, Z. et al. Homogenous spiking neural P systems with anti-spikes. Neural Comput & Applic 24, 1833–1841 (2014). https://doi.org/10.1007/s00521-013-1397-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00521-013-1397-8

Keywords

Navigation