Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

On string languages generated by spiking neural P systems with exhaustive use of rules

  • Published:
Natural Computing Aims and scope Submit manuscript

Abstract

We continue the study of (extended) spiking neural P systems with exhaustive use of rules by considering these computing devices as language generators. Specifically, a step is associated with a symbol according to the number of spikes emitted by the output neuron and the sequence of these symbols associated with a halting computation constitutes a string. Two cases are considered: one of them interprets a step when no spike is emitted as a specified symbol, the other interprets such a step as the empty string. In both cases, it is proved that finite and recursively enumerable languages are characterized by extended spiking neural P systems working in the exhaustive mode. The relationships with regular languages are also investigated.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

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

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

Notes

  1. http://ppage.psystems.eu

References

  • Chen H, Ionescu M, Ishdorj TO, Păun A, Păun Gh, Pérez-Jiménez MJ (2006) Spiking neural P systems with extended rules. In: Gutiérrez-Naranjo MA, Păun Gh, Riscos-Núñez A, Romero-Campero FJ (eds) Fourth brainstorming week on membrane computing, vol. I, RGNC Report 02/2006, Research Group on Natural Computing, Sevilla University, pp 241–266. Fénix Editora

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

    MATH  MathSciNet  Google Scholar 

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

    Article  MATH  Google Scholar 

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

  • Ionescu M, Păun Gh, Yokomori T (2007) Spiking neural P systems with exhaustive use of rules. Int J Unconvent Comput 3(2):135–154

    Google Scholar 

  • Minsky M (1967) Computation—finite and infinite machines. Prentice Hall, Englewood Cliffs

    MATH  Google Scholar 

  • Păun Gh (2002) Membrane computing—an introduction. Springer-Verlag, Berlin

    MATH  Google Scholar 

  • Păun Gh (2007) Twenty six research topics about spiking neural P systems. In: Gutierrez-Naranjo MA, Păun Gh, Romero-Jiménez A, Riscos-Núñez A (eds) Fifth brainstorming week on membrane computing, RGNC Report 01/2007, Research Group on Natural Computing, Sevilla University, pp 263–280, Fénix Editora

  • Păun Gh, Pérez-Jiménez MJ, Rozenberg G (2006) Spike trains in spiking neural P systems. Int J Found Comput Sci 17(4):975–1002

    Article  MATH  Google Scholar 

Download references

Acknowledgements

Valuable comments and corrections from the anonymous referees are greatly appreciated. This work was supported by National Natural Science Foundation of China (Grant Nos. 60373089, 60674106, 30570431, and 60533010), Program for New Century Excellent Talents in University (NCET-05-0612), Ph.D. Programs Foundation of Ministry of Education of China (20060487014), Chenguang Program of Wuhan (200750731262), and HUST-SRF (2007Z015A).

Author information

Authors and Affiliations

  1. Key Laboratory of Image Processing and Intelligent Control, Department of Control Science and Engineering, Huazhong University of Science and Technology, Wuhan, 430074, Hubei, China

    Xingyi Zhang, Xiangxiang Zeng & Linqiang Pan

Authors
  1. Xingyi Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xiangxiang Zeng
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Linqiang Pan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Linqiang Pan.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhang, X., Zeng, X. & Pan, L. On string languages generated by spiking neural P systems with exhaustive use of rules. Nat Comput 7, 535–549 (2008). https://doi.org/10.1007/s11047-008-9079-7

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-008-9079-7

Keywords

Search

Navigation