Skip to main content
SpringerLink
Log in

Notes on spiking neural P systems and finite automata

  • Published:
Natural Computing Aims and scope Submit manuscript

Abstract

Spiking neural P systems (in short, SN P systems) are membrane computing models inspired by the pulse coding of information in biological neurons. SN P systems with standard rules have neurons that emit at most one spike (the pulse) each step, and have either an input or output neuron connected to the environment. A variant known as SN P modules generalize SN P systems by using extended rules (more than one spike can be emitted each step) and a set of input and output neurons. In this work we continue relating SN P modules and finite automata. In particular, we amend and improve previous constructions for the simulatons of deterministic finite automata and state transducers. Our improvements reduce the number of neurons from three down to one, so our results are optimal. We also simulate finite automata with output, and we use these simulations to generate automatic sequences.

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

Similar content being viewed by others

Notes

  1. or ESN P systems, in short, are generalizations of SN P systems almost to the point of becoming tissue P systems. ESN P systems are thus generalizations also of (and not to be confused with) SN P systems with extended rules.

References

  • Allouche J-P, Shallit J (2003) Automatic sequences: theory, applications. Cambridge University Press, Cambridge

    Book  MATH  Google Scholar 

  • Cabarle FGC, Buño KC, Adorna HN (2012) Spiking neural P systems generating the Thue-Morse sequence. In: Asian conference on membrane computing (2012) pre-proceedings, pp 15–18 Oct. Wuhan, China

  • Cabarle FGC, Adorna HN, Pérez-Jiménez MJ, Song T (2015) Spiking neural P systems with structural plasticity. Neural Comput Appl 26(8):1905–1917

    Article  MATH  Google Scholar 

  • Chen H, Ionescu M, Ishdorj T-O, Păun A, Păun G, Pérez-Jiménez MJ (2008) Spiking neural P systems with extended rules: universality and languages. Natural Comput 7:147–166

    Article  MathSciNet  MATH  Google Scholar 

  • Díaz-Pernil D, Peña-Cantillana F, Gutiérrez-Naranjo MA (2013) A parallel algorithm for skeletonizing images by using spiking neural P systems. Neurocomputing 115:81–91

    Article  Google Scholar 

  • Freund R, Oswald M (2008) Regular \(\omega\)-languages defined by finite extended spiking neural P systems. Fundam Inform 81(1–2):65–73

    MathSciNet  MATH  Google Scholar 

  • Goldin D, Smolka S, Wegner P (eds) (2006) Interactive computation: the new paradigm. Springer, Berlin

    MATH  Google Scholar 

  • Ibarra O, Peréz-Jiménez MJ, Yokomori T (2010) On spiking neural P systems. Nat Comput 9:475–491

    Article  MathSciNet  MATH  Google Scholar 

  • Ionescu M, Păun G, Yokomori T (2006) Spiking neural P systems. Fundam Inform 71(2,3):279–308

    MathSciNet  MATH  Google Scholar 

  • Leporati A, Zandron C, Ferretti C, Mauri G (2007) Solving numerical NP-complete problems with spiking neural P systems. In: Eleftherakis G, Kefalas P, Păun G, Rozenberg G, Salomaa A (eds) Membrane computing: 8th international workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers, Springer, Berlin/Heidelberg, pp 336–352. doi:10.1007/978-3-540-77312-2_21

  • Maass W (2002) Computing with spikes. Found Inform Process TELEMATIK 8(1):32–36

    Google Scholar 

  • Maass W, Bishop C (eds) (1999) Pulsed neural networks. MIT Press, Cambridge

    MATH  Google Scholar 

  • Neary T (2010) A boundary between universality and non-universality in extended spiking neural P systems. In: Martin-Vide C, Fernau H, Dediu AH (eds) Language and automata theory and applications: 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings. Springer, Berlin/Heidelberg, pp 475–487. doi:10.1007/978-3-642-13089-2_40

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

    Article  MathSciNet  MATH  Google Scholar 

  • Păun G (2002) Membrane computing: an introduction. Springer, Berlin

    Book  MATH  Google Scholar 

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

    Article  MATH  Google Scholar 

  • Păun G, Pérez-Jiménez MJ, Rozenberg G (2007) Computing morphisms by spiking neural P systems. J Found Comput Sci 8(6):1371–1382

    Article  MathSciNet  MATH  Google Scholar 

  • Păun G, Pérez-Jiménez MJ (2009) Spiking neural P systems. Recent results, research topics. In: Condon A et al (eds) Algorithmic bioprocesses. Springer, Berlin

    Google Scholar 

  • Păun G, Rozenberg G, Salomaa A (eds) (2010) The Oxford handbook of membrane computing. OUP, Oxford

    MATH  Google Scholar 

  • Song T, Pan L (2015) Spiking neural P systems with rules on synapses working in maximum spikes consumption strategy. IEEE Trans NanoBiosci 14(1):38–44

    Article  MathSciNet  Google Scholar 

  • Song T, Zou Q, Liu X, Zeng X (2015) Asynchronous spiking neural P systems with rules on synapses. NeuroComputing 152(2015):1439–1445

    Article  Google Scholar 

  • The P systems webpage http://ppage.psystems.eu/

  • Zeng X, Pan L, Pérez-Jiménez MJ (2013) Small universal simple spiking neural P systems with weights. Sci China Inform Sci 57(9):1–11

    Article  MathSciNet  Google Scholar 

  • Zeng X, Zhang X, Song T, Pan L (2014) Spiking neural P systems with thresholds. Neural Comput 26(7):1340–1361

    Article  MathSciNet  Google Scholar 

  • Zhang X, Pan L, Păun A (2015) On the universality of axon P systems. IEEE Trans Neural Netw Learn Syst 26(11):2816–2829

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgments

Cabarle is supported by a scholarship from the DOST-ERDT of the Philippines. Adorna is funded by a DOST-ERDT grant, the Semirara Mining Corp. professorial chair of the College of Engineering, UP Diliman, and the UP Diliman Gawad Tsanselor 2015 grant. M.J. Pérez-Jiménez acknowledges the support of the Project TIN2012-37434 of the “Ministerio de Economía y Competitividad” of Spain, co-financed by FEDER funds. Fruitful discussions with Miguel Ángel Martínez-del Amor are also acknowledged.

Author information

Authors and Affiliations

  1. Algorithms and Complexity Lab, Department of Computer Science, University of the Philippines Diliman, Diliman, Quezon City, 1101, Philippines

    Francis George C. Cabarle & Henry N. Adorna

  2. Department of Computer Science and AI, University of Sevilla, Avda. Reina Mercedes s/n, 41012, Seville, Spain

    Mario J. Pérez-Jiménez

Authors
  1. Francis George C. Cabarle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Henry N. Adorna
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mario J. Pérez-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francis George C. Cabarle.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cabarle, F.G.C., Adorna, H.N. & Pérez-Jiménez, M.J. Notes on spiking neural P systems and finite automata. Nat Comput 15, 533–539 (2016). https://doi.org/10.1007/s11047-016-9563-4

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-016-9563-4

Keywords

Search

Navigation