title: Normal forms of spiking neural P systems with anti-spikes.
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)) without forgetting rules are universal as number generating devices. In an ASN P system with spiking rules of categories (a, (a)) and ((a), 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].
authors.affiliation: Key Laboratory of Image Processing and Intelligent Control, Department of Control Science and Engineering, Huazhong University of Science and Technology, Wuhan 430074, Hubei, China. songtao0608@hotmail.com
authors.forename: Tao
authors.initials: T
authors.lastname: Song
authors.forename: Linqiang
authors.initials: L
authors.lastname: Pan
authors.forename: Jun
authors.initials: J
authors.lastname: Wang
authors.forename: Ibrahim
authors.initials: I
authors.lastname: Venkat
authors.forename: K G
authors.initials: KG
authors.lastname: Subramanian
authors.forename: Rosni
authors.initials: R
authors.lastname: Abdullah
mesh_terms: D003198:Computer Simulation; D008959:Models, Neurological; D016571:Neural Networks, Computer; D009474:Neurons / Q000502:physiology; D013569:Synapses / Q000502:physiology