Skip to main content
SpringerLink
Log in

Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough

  • Conference paper
Membrane Computing (CMC 2010)

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

Included in the following conference series:

  • 623 Accesses

Abstract

In this paper, we consider spiking neural P systems without delay with specific restrictions on the types of neurons. Two neurons are considered to be of the same type if the rules, the number of spikes in the initial configuration and the number of outgoing synapses are identical. We show that computational completeness can be achieved in both the generating and the accepting case with only two types of neurons, where the number of neurons with unbounded rules is constant even minimal.

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. García-Arnau, M., Peréz, D., Rodríguez-Patón, A., Sosík, P.: Spiking neural P systems: Stronger normal forms. In: Gutiérrez-Naranjo, M.A., Păun, G., Romero-Jiménez, A., Riscos-Núñez, A. (eds.) Proceedings of the Fifth Brainstorming Week on Membrane Computing, pp. 33–62 (2007)

    Google Scholar 

  2. Ibarra, O.H., Păun, A., Păun, G., Rodríguez-Patón, A., Sosík, P., Woodworth, S.: Normal forms for spiking neural P systems. Theor. Comput. Sci. 372(2-3), 196–217 (2007)

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  4. Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall, Inc., Upper Saddle River (1967)

    MATH  Google Scholar 

  5. Pan, L., Păun, G.: Spiking neural P systems: An improved normal form. Theoretical Computer Science 411(6), 906–918 (2010)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MATH  Google Scholar 

  7. Păun, G.: Computing with membranes. J. of Computer and System Sci. 61(1), 108–143 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  8. Păun, G.: Membrane Computing: An Introduction. Springer, New York (2002)

    Book  MATH  Google Scholar 

  9. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Word, Language, Grammar, vol. 1. Springer, Heidelberg (1997)

    MATH  Google Scholar 

  10. Zeng, X., Zhang, X., Pan, L.: Homogeneous spiking neural P systems. Fundam. Inf. 97(1-2), 275–294 (2009)

    MathSciNet  MATH  Google Scholar 

  11. Zhang, X., Zeng, X., Pan, L.: Smaller universal spiking neural P systems. Fundam. Inf. 87(1), 117–136 (2008)

    MathSciNet  MATH  Google Scholar 

  12. The P Systems Web Page, http://ppage.psystems.eu

Download references

Author information

Authors and Affiliations

  1. Faculty of Informatics, Vienna University of Technology, Favoritenstr. 9, 1040, Vienna, Austria

    Rudolf Freund & Marian Kogler

  2. Institute of Computer Science, Martin Luther University Halle-Wittenberg, Von-Seckendorff-Platz 1, 06120, Halle (Saale), Germany

    Marian Kogler

Authors
  1. Rudolf Freund
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marian Kogler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Sheffield, Regent Court, Portobello Street, S1 4DP, Sheffield, UK

    Marian Gheorghe

  2. Department of Bioinformatics, School of Biology and Pharmacy, Friedrich Schiller University, Ernst-Abbe-Platz 1–4, 07743, Jena, Germany

    Thomas Hinze

  3. Institute of Mathematics of the Romanian Academy, P.O. Box 1-764, 014700, BucureÅŸti, Romania

    Gheorghe Păun

  4. Leiden Center of Advanced Computer Science (LIACS), Universiteit Leiden, Niels Bohrweg 1, 2333, CA Leiden, The Netherlands

    Grzegorz Rozenberg

  5. Turku Centre for Computer Science (TUCS), Leminkäisenkatu 14, 20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Freund, R., Kogler, M. (2010). Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. CMC 2010. Lecture Notes in Computer Science, vol 6501. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18123-8_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-18123-8_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-18122-1

  • Online ISBN: 978-3-642-18123-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation