Skip to main content
SpringerLink
Log in

Computing with Spiking Neural P Systems: Traces and Small Universal Systems

  • Conference paper
DNA Computing (DNA 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4287))

Included in the following conference series:

Abstract

Recently, the idea of spiking neurons and thus of computing by spiking was incorporated into membrane computing, and so-called spiking neural P systems (abbreviated SN P systems) were introduced. Very shortly, in these systems neurons linked by synapses communicate by exchanging identical signals (spikes), with the information encoded in the distance between consecutive spikes. Several ways of using such devices for computing were considered in a series of papers, with universality results obtained in the case of computing numbers, both in the generating and the accepting mode; generating, accepting, or processing strings or infinite sequences was also proved to be of interest.

In the present paper, after a short survey of central notions and results related to spiking neural P systems (including the case when SN P systems are used as string generators), we contribute to this area with two (types of) results: (i) we produce small universal spiking neural P systems (84 neurons are sufficient in the basic definition, but this number is decreased to 49 neurons if a slight generalization of spiking rules is adopted), and (ii) we investigate the possibility of generating a language by following the trace of a designated spike in its way through the neurons.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cavaliere, M., Leupold, P.: Evolution and Observation: A New Way to Look at Membrane Systems. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 70–87. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  2. Chen, H., Freund, R., Ionescu, M., Păun, G., Pérez-Jiménez, M.J.: On string languages generated by spiking neural P systems. In: Proc. of Fourth. Brainstorming Week on Membrane Computing, Sevilla, vol. I, pp. 169–193 (2006) (also available at [19])

    Google Scholar 

  3. Chen, H., Ishdorj, T.-O., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with extended rules. In: Proc. of Fourth. Brainstorming Week on Membrane Computing, Sevilla, vol. I, pp. 241–266 (2006) (also available at [19])

    Google Scholar 

  4. Ibarra, O.H., Păun, A., Păun, G., Rodríguez-Patón, A., Sosik, P., Woodworth, S.: Normal forms for spiking neural P systems. In: Fourth Brainstorming Week on Membrane Computing, Fenix Editora, Sevilla, February 2006, vol. II, pp. 105–136 (2006) (also available at [19])

    Google Scholar 

  5. Ionescu, M., Martin-Vide, C., Păun, A., Păun, G.: Membrane systems with symport/antiport (unexpected) universality results. In: Hagiya, M., Ohuchi, A. (eds.) Proc. 8th International Meeting of DNA Based Computing, Japan, pp. 151–160 (2002)

    Google Scholar 

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

    MATH  MathSciNet  Google Scholar 

  7. Korec, I.: Small universal register machines. Theoretical Computer Science 168, 267–301 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  8. Maass, W.: Computing with spikes. Special Issue on Foundations of Information Processing of TELEMATIK 8(1), 32–36 (2002)

    Google Scholar 

  9. Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)

    Google Scholar 

  10. Minsky, M.: Computation – Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)

    MATH  Google Scholar 

  11. Păun, A., Păun, G.: Small universal spiking neural P systems. BioSystems (to appear)

    Google Scholar 

  12. Păun, G.: Membrane Computing – An Introduction. Springer, Berlin (2002)

    MATH  Google Scholar 

  13. Păun, G., Pérez-Jiménez, M.J., Rozenberg, G.: Spike trains in spiking neural P systems. In: Intern. J. Found. Computer Sci. (to appear) (also available at [19])

    Google Scholar 

  14. Păun, G., Pérez-Jiménez, M.J., Rozenberg, G.: Infinite spike trains in spiking neural P systems (submitted, 2006)

    Google Scholar 

  15. Păun, G., Sakakibara, Y., Yokomori, T.: P systems on graphs of restricted forms. Publicationes Mathematicae Debrecen 60, 635–660 (2002)

    MATH  MathSciNet  Google Scholar 

  16. Rogozhin, Y.: Small universal Turing machines. Theoretical Computer Science 168, 215–240 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  17. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3. Springer, Berlin (1997)

    MATH  Google Scholar 

  18. Salomaa, A.: Formal Languages. Academic Press, New York (1973)

    MATH  Google Scholar 

  19. The P Systems Web Page: http://psystems.disco.unimib.it

Download references

Author information

Authors and Affiliations

  1. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Pl. Imperial Tàrraco 1, 43005, Tarragona, Spain

    Mihai Ionescu

  2. Department of Computer Science, Louisiana Tech University, PO Box 10348, Ruston, Louisiana, LA-71272, USA

    Andrei Păun

  3. Faculdad de Informatíca, Universidad Politécnica de Madrid – UPM, Campus de Montegancedo s/n, Boadilla del Monte, 28660, Madrid, Spain

    Andrei Păun

  4. Institute of Mathematics of the Romanian Academy, PO Box 1-764, 014700, Bucharest, Romania

    Gheorghe Păun

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

    Gheorghe Păun & Mario J. Pérez-Jiménez

Authors
  1. Mihai Ionescu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrei Păun
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gheorghe Păun
    View author publications

    You can also search for this author in PubMed Google Scholar

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

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Chemistry, Purdue University, 560 Oval Drive, 47907-2084, West Lafayette, IN, USA

    Chengde Mao

  2. Faculty of Education and Integrated Arts and Sciences, Department of Mathematics, Waseda University, 1-6-1 Nishiwaseda, Shinjuku-ku, 169-8050, Tokyo, Japan

    Takashi Yokomori

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ionescu, M., Păun, A., Păun, G., Pérez-Jiménez, M.J. (2006). Computing with Spiking Neural P Systems: Traces and Small Universal Systems. In: Mao, C., Yokomori, T. (eds) DNA Computing. DNA 2006. Lecture Notes in Computer Science, vol 4287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11925903_1

Download citation

  • DOI: https://doi.org/10.1007/11925903_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-49024-1

  • Online ISBN: 978-3-540-68423-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation