Spiking Neural P Systems with Anti-Spikes

  • Linqiang Pan Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074, Hubei, China
  • Gheorghe Păun Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucure¸sti, Romania, and Department of Computer Science and Artificial Intelligence University of Sevilla Avda. Reina Mercedes s/n, 41012 Sevilla, Spain


Besides usual spikes employed in spiking neural P systems, we consider “anti-spikes", which participate in spiking and forgetting rules, but also annihilate spikes when meeting in the same neuron. This simple extension of spiking neural P systems is shown to considerably simplify the universality proofs in this area: all rules become of the form bc → b′ or bc → lambda , where b,b′ are spikes or anti-spikes. Therefore, the regular expressions which control the spiking are the simplest possi- ble, identifying only a singleton. A possible variation is not to produce anti-spikes in neurons, but to consider some “inhibitory synapses", which transform the spikes which pass along them into anti-spikes. Also in this case, universality is rather easy to obtain, with rules of the above simple forms.


[1] A. Binder, R. Freund, M. Oswald, L. Vock, Extended Spiking Neural P Systems with Excitatory and Inhibitory Astrocytes. Submitted, 2007.

[2] R. Freund, M. Oswald, Spiking Neural P Systems with Inhibitory Axons. AROB Conf., Japan, 2007.

[3] O.H. Ibarra, A. Păun, Gh. Păun, A. Rodriguez-Patón, P. Sosik, S. Woodworth, Normal Forms for Spiking Neural P Systems. Theoretical Computer Science, Vol. 372, pp. 196–217, 2007.

[4] M. Ionescu, Gh. Păun, T. Yokomori, Spiking Neural P Systems. Fundamenta Informaticae, Vol. 71, pp. 279–308, 2006.

[5] J.M. Mingo, Sleep-Awake Switch with Spiking Neural P Systems: A Basic Proposal and New Issues. Proc. 7th Brainstorming Week on Membrane Computing, Sevilla, 2009, vol. II, 59–72.

[6] L. Pan, Gh. Păun, New Normal Forms for Spiking Neural P Systems. Proc. 7th Brainstorming Week on Membrane Computing, Sevilla, 2009, vol. II, 127–138.

[7] Gh. Păun, G. Rozenberg, A. Salomaa, eds., Handbook of Membrane Computing. Oxford University Press, 2010 (in press).

[8] J. Wang, L. Pan, Excitatory and Inhibitory Spiking Neural P Systems. Submitted, 2007.

[9] The P Systems Website, http://ppage.psystems.eu.
How to Cite
PAN, Linqiang; PĂUN, Gheorghe. Spiking Neural P Systems with Anti-Spikes. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, [S.l.], v. 4, n. 3, p. 273-282, sep. 2009. ISSN 1841-9844. Available at: <http://univagora.ro/jour/index.php/ijccc/article/view/2435>. Date accessed: 07 may 2021. doi: https://doi.org/10.15837/ijccc.2009.3.2435.


membrane computing, P system, spiking neural P system, computability