Spiking Neural P Systems: A Short Introduction and New Normal Forms

Abstract

Spiking neural P systems are a class of P systems inspired from the way the neurons communicate with each other by means of electrical impulses (called \spikes"). In the few years since this model was introduced, many results related to the computing power and e ciency of these computing devices were reported. The present paper quickly surveys the basic ideas of this research area and the basic results, then, as typical proofs about the universality of spiking neural P systems, we present some new normal forms for them. Speci cally, we consider a natural restriction in the architecture of a spiking neural P system, to have neurons of a small number of types (i.e., using a small number of sets of rules). We prove that three types of neurons are su cient in order to generate each recursively enumerable set of numbers as the distance between the rst two spikes emitted by the system; the problem remains open for accepting SN P systems. The paper ends with the complete bibliography of this domain, at the level of April 2009.