Skip to main content
SpringerLink
Log in

Reversible spiking neural P systems

  • Research Article
  • Published:
Frontiers of Computer Science Aims and scope Submit manuscript

Abstract

Spiking neural (SN) P systems are a class of distributed parallel computing devices inspired by the way neurons communicate by means of spikes. In this work, we investigate reversibility in SN P systems, as well as the computing power of reversible SN P systems. Reversible SN P systems are proved to have Turing creativity, that is, they can compute any recursively enumerable set of non-negative integers by simulating universal reversible register machine.

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

Similar content being viewed by others

References

  1. Landauer R. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 1961, 5(3): 183–191

    Article  MathSciNet  MATH  Google Scholar 

  2. Von Neumann J. Theory of self-reproducing automata. University of Illinois Press, 1966

    Google Scholar 

  3. Bennett C. Logical reversibility of computation. IBM Journal of Research and Development, 1973, 17(6): 525–532

    Article  MATH  Google Scholar 

  4. Morita K, Yamaguchi Y. A universal reversible turing machine. In: Proceedings of the 5th International Conference on Machines, Computations, and Universality. 2007, 90-98

  5. Priese L. On a simple combinatorial structure sufficient for sublying nontrival self-reproduction. Journal of Cybernetics, 1976, 6: 101–137

    Article  MathSciNet  MATH  Google Scholar 

  6. Fredkin E, Toffoli T. Conservative logic. International Journal of The oretical Physics, 1982, 21(3): 219–253

    Article  MathSciNet  MATH  Google Scholar 

  7. Toffoli T, Margolus N. Invertible cellular automata: a review. Physica D: Nonlinear Phenomena, 1990, 45(1): 229–253

    Article  MathSciNet  MATH  Google Scholar 

  8. Morita K. Universality of a reversible two-counter machine. Theoretical Computer Science, 1996, 168(2): 303–320

    Article  MathSciNet  MATH  Google Scholar 

  9. Leporati A, Zandron C, Mauri G. Reversible P systems to simulate fredkin circuits. Fundamenta Informaticae, 2006, 74(4): 529–548

    MathSciNet  MATH  Google Scholar 

  10. Alhazov A, Morita K. On reversibility and determinism in p systems. In: Proceedings of the 10th International Conference on Membrane Computing. 2009, 158–168

    Google Scholar 

  11. Păun G. Computing with membranes. Journal of Computer and System Sciences, 2000, 61(1): 108–143

    Article  MathSciNet  MATH  Google Scholar 

  12. Ionescu M, Páun G, Yokomori T. Spiking neural P systems. Fundamenta informaticae, 2006, 71(2): 279–308

    MathSciNet  MATH  Google Scholar 

  13. Păun G, MARIO J, Rozenberg G. Spike trains in spiking neural P systems. International Journal of Foundations of Computer Science, 2006, 17(4): 975–1002

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  15. Zhang X, Zeng X, Pan L. On string languages generated by spiking neural P systems with exhaustive use of rules. Natural Computing, 2008, 7(4): 535–549

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  Google Scholar 

  17. Pan L, Zeng X. Small universal spiking neural P systems working in exhaustive mode. IEEE Transactions on NanoBioscience, 2011, 10(2): 99–105

    Article  MathSciNet  Google Scholar 

  18. Ishdorj T, Leporati A, Pan L, Zeng X, Zhang X. Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with precomputed resources. Theoretical Computer Science, 2010, 411(25): 2345–2358

    Article  MathSciNet  MATH  Google Scholar 

  19. Pan L, Păun G, Pérez-Jiménez M. Spiking neural P systems with neuron division and budding. Science China Information Sciences, 2011, 54(8): 1596–1607

    Article  MathSciNet  Google Scholar 

  20. Zeng X, Zhang X, Pan L. Homogeneous spiking neural P systems. Fundamenta Informaticae, 2009, 97(1): 275–294

    MathSciNet  MATH  Google Scholar 

  21. Wang J, Hoogeboom H, Pan L, Paun G, Pérez-Jiménez M. Spiking neural P systems with weights. Neural Computation, 2010, 22(10): 2615–2646

    Article  MathSciNet  MATH  Google Scholar 

  22. Pan L, Zeng X, Zhang X. Time-free spiking neural P systems. Neural Computation, 2011, 23(5): 1320–1342

    Article  MathSciNet  MATH  Google Scholar 

  23. Pan L, Wang J, Hoogeboom H. Spiking neural P systems with astrocytes. Neural Computation, 2012, 24(3): 805–825

    Article  MathSciNet  MATH  Google Scholar 

  24. Rozenberg G. Handbook of formal languages: word, language, grammar. Springer Verlag, 1997

    Google Scholar 

  25. Păun G. Membrane computing: an introduction. Fundamentals of Computation Theory, 2003, 177–220

    Google Scholar 

Download references

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, China

    Tao Song, Xiaolong Shi & Jinbang Xu

Authors
  1. Tao Song
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xiaolong Shi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jinbang Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jinbang Xu.

Additional information

Tao Song received his BS and MS in Applied Mathematics from Qingdao University in 2006 and Shandong University of Science and Technology, China in 2009, respectively. He is recently a PhD candidate at Huazhong University of Science and Technology. His research interests include DNA computing, DNA encoding, and membrane computing

Xiaolong Shi received his PHD from Huazhong University of Science and Technology (HUST), China, in 2004. He is currently an associate professor in the Department of Control Science and Engineering of HUST. His research interests include DNA nanotechnology, pattern recognition, and intelligent and bio-inspired computing.

Jinbang Xu received his PhD in Control Science and Engineering from Huazhong University of Science and Technology (HUST), in 2004. He is currently an associate professor in Department of Control science and Engineering of HUST. His current research interests include power electronic and bioinformatics processing.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Song, T., Shi, X. & Xu, J. Reversible spiking neural P systems. Front. Comput. Sci. 7, 350–358 (2013). https://doi.org/10.1007/s11704-013-2061-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11704-013-2061-2

Keywords

Search

Navigation