Reversible spiking neural P systems

详细信息    查看全文

• 作者：Tao Song (1)
  Xiaolong Shi (1)
  Jinbang Xu (1)
  
• 关键词：membrane computing ; spiking neural P system ; reversible computing model ; universality ; reversible register machine
• 刊名：Frontiers of Computer Science in China
• 出版年：2013
• 出版时间：June 2013
• 年：2013
• 卷：7
• 期：3
• 页码：350-358
• 全文大小：394KB
• 参考文献：1. Landauer R. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 1961, 5(3): 183鈥?91 CrossRef
  2. Von Neumann J. Theory of self-reproducing automata. University of Illinois Press, 1966
  3. Bennett C. Logical reversibility of computation. IBM Journal of Research and Development, 1973, 17(6): 525鈥?32 CrossRef
  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鈥?37 CrossRef
  6. Fredkin E, Toffoli T. Conservative logic. International Journal of The oretical Physics, 1982, 21(3): 219鈥?53 CrossRef
  7. Toffoli T, Margolus N. Invertible cellular automata: a review. Physica D: Nonlinear Phenomena, 1990, 45(1): 229鈥?53 CrossRef
  8. Morita K. Universality of a reversible two-counter machine. Theoretical Computer Science, 1996, 168(2): 303鈥?20 CrossRef
  9. Leporati A, Zandron C, Mauri G. Reversible P systems to simulate fredkin circuits. Fundamenta Informaticae, 2006, 74(4): 529鈥?48
  10. Alhazov A, Morita K. On reversibility and determinism in p systems. In: Proceedings of the 10th International Conference on Membrane Computing. 2009, 158鈥?68
  11. P膬un G. Computing with membranes. Journal of Computer and System Sciences, 2000, 61(1): 108鈥?43 CrossRef
  12. Ionescu M, P谩un G, Yokomori T. Spiking neural P systems. Fundamenta informaticae, 2006, 71(2): 279鈥?08
  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鈥?002 CrossRef
  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鈥?62
  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鈥?49 CrossRef
  16. P膬un A, P膬un G. Small universal spiking neural P systems. BioSystems, 2007, 90(1): 48鈥?0 CrossRef
  17. Pan L, Zeng X. Small universal spiking neural P systems working in exhaustive mode. IEEE Transactions on NanoBioscience, 2011, 10(2): 99鈥?05 CrossRef
  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鈥?358 CrossRef
  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鈥?607 CrossRef
  20. Zeng X, Zhang X, Pan L. Homogeneous spiking neural P systems. Fundamenta Informaticae, 2009, 97(1): 275鈥?94
  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鈥?646 CrossRef
  22. Pan L, Zeng X, Zhang X. Time-free spiking neural P systems. Neural Computation, 2011, 23(5): 1320鈥?342 CrossRef
  23. Pan L, Wang J, Hoogeboom H. Spiking neural P systems with astrocytes. Neural Computation, 2012, 24(3): 805鈥?25 CrossRef
  24. Rozenberg G. Handbook of formal languages: word, language, grammar. Springer Verlag, 1997
  25. P膬un G. Membrane computing: an introduction. Fundamentals of Computation Theory, 2003, 177鈥?20
  
• 作者单位：Tao Song (1)
  Xiaolong Shi (1)
  Jinbang Xu (1)
  
  1. Key Laboratory of Image Processing and Intelligent Control, Department of Control Science and Engineering, Huazhong, University of Science and Technology, Wuhan, 430074, China
  
• ISSN：1673-7466

文摘

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.