Normal Forms of Spiking Neural P Systems with Anti-Spikes

Tao Song,Linqiang Pan,Jun Wang,Ibrahim Venkat,K. G. Subramanian,Rosni Abdullah
DOI: https://doi.org/10.1109/tnb.2012.2208122
2015-01-01
International Journal of Swarm Intelligence
Abstract:Spiking neural P systems with anti-spikes (ASN P systems, for short) are a variant of spiking neural P systems, which were inspired by inhibitory impulses/spikes or inhibitory synapses. In this work, we consider normal forms of ASN P systems. Specifically, we prove that ASN P systems with pure spiking rules of categories (a,a) and (a, (a) over bar) without forgetting rules are universal as number generating devices. In an ASN P system with spiking rules of categories (a, (a) over bar) and ((a) over bar, a) without forgetting rules, the neurons change spikes to anti-spikes or change anti-spikes to spikes; such systems are proved to be universal. We also prove that ASN P systems with inhibitory synapses using pure spiking rules of category (a, a) and forgetting rules are universal. These results answer an open problem and improve a corresponding result from [IJCCC, IV(3), 2009, 273-282].
What problem does this paper attempt to address?