Spiking neural P systems with multiple channels and anti-spikes

Spiking neural P systems (SN P systems) with multiple channels are a variant of SN P systems presented recently. By introducing anti-spikes in neurons, SN P systems with multiple channels and anti-spikes are constructed in this work, where both spikes and anti-spikes are used in rules with channel labels. The Turing universality as number generating and accepting devices is proved at first, and then a universal SN P systems with multiple channels and anti-spikes for computing functions is investigated. At last, a small universal system using 65 neurons for computing any Turing computable function is given.