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

  • Mihai Ionescu
  • Andrei Păun
  • Gheorghe Păun
  • Mario J. Pérez-Jiménez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4287)


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.


Spike Train Output Neuron Regular Language Empty String Register Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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)CrossRefGoogle Scholar
  2. 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. 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. 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. 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. 6.
    Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2-3), 279–308 (2006)zbMATHMathSciNetGoogle Scholar
  7. 7.
    Korec, I.: Small universal register machines. Theoretical Computer Science 168, 267–301 (1996)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Maass, W.: Computing with spikes. Special Issue on Foundations of Information Processing of TELEMATIK 8(1), 32–36 (2002)Google Scholar
  9. 9.
    Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)Google Scholar
  10. 10.
    Minsky, M.: Computation – Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)zbMATHGoogle Scholar
  11. 11.
    Păun, A., Păun, G.: Small universal spiking neural P systems. BioSystems (to appear)Google Scholar
  12. 12.
    Păun, G.: Membrane Computing – An Introduction. Springer, Berlin (2002)zbMATHGoogle Scholar
  13. 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. 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. 15.
    Păun, G., Sakakibara, Y., Yokomori, T.: P systems on graphs of restricted forms. Publicationes Mathematicae Debrecen 60, 635–660 (2002)zbMATHMathSciNetGoogle Scholar
  16. 16.
    Rogozhin, Y.: Small universal Turing machines. Theoretical Computer Science 168, 215–240 (1996)zbMATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3. Springer, Berlin (1997)zbMATHGoogle Scholar
  18. 18.
    Salomaa, A.: Formal Languages. Academic Press, New York (1973)zbMATHGoogle Scholar
  19. 19.
    The P Systems Web Page:

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Mihai Ionescu
    • 1
  • Andrei Păun
    • 2
    • 3
  • Gheorghe Păun
    • 4
    • 5
  • Mario J. Pérez-Jiménez
    • 5
  1. 1.Research Group on Mathematical LinguisticsUniversitat Rovira i VirgiliTarragonaSpain
  2. 2.Department of Computer ScienceLouisiana Tech UniversityRustonUSA
  3. 3.Faculdad de InformatícaUniversidad Politécnica de Madrid – UPMMadridSpain
  4. 4.Institute of Mathematics of the Romanian AcademyBucharestRomania
  5. 5.Department of Computer Science and AIUniversity of SevillaSevillaSpain

Personalised recommendations