Abstract:Spiking neural P systems (in short, SN P systems) are computing devices based on the way the neurons communicate through electrical impulses (spikes). These systems involve various ingredients; among them, we mention forgetting rules and the delay in firing rules. However, it is known that the universality can be obtained without using these two features. In this paper we improve this result in two respects: (i) each neuron contains at most two rules (which is optimal for systems used in the generative mode), and (ii) the rules in the neurons using two rules have the same regular expression which controls their firing. This result answers a problem left open in the literature, and, in this context, an incompleteness in some previous proofs related to the elimination of forgetting rules is removed. Moreover, this result shows a somewhat surprising uniformity of the neurons in the SN P systems able to simulate Turing machines, which is both of a theoretical interest and it seems to correspond to a biological reality. When a bound is imposed on the number of spikes present in a neuron at any step of a computation (such SN P systems are called finite), two surprising results are obtained. First, a characterization of finite sets of numbers is obtained in the generative case (this contrasts the case of other classes of SN P systems, where characterizations of semilinear sets of numbers are obtained for finite SN P systems). Second, the accepting case is strictly more powerful than the generative one: all finite sets and also certain arithmetical progressions can be accepted. A precise characterization of the power of accepting finite SN P systems without forgetting rules and delay remains to be found.

Matrix representation of spiking neural P systems

Matrix Representation and Simulation Algorithm of Spiking Neural P Systems with Structural Plasticity.

Spiking Neural P systems with Scheduled Synapses.

Spiking Neural P Systems with Homogeneous Neurons and Synapses

On Some Classes of Sequential Spiking Neural P Systems

Spiking Neural P Systems with Delay on Synapses

Spiking Neural P Systems with Rules on Synapses Working in Maximum Spikes Consumption Strategy

On Solutions and Representations Of Spiking Neural P Systems With Rules On Synapses

Spiking Neural P Systems with a Generalized Use of Rules

Spiking Neural P Systems with Weighted Synapses

Spiking Neural P Systems with a Flat Maximally Parallel Use of Rules.

Spiking Neural P Systems: an Improved Normal Form

Spiking Neural P Systems with Multiple Channels and Anti-Spikes

Spiking Neural P Systems with Structural Plasticity and Anti-Spikes

Spiking Neural P Systems with Polarizations

Sequential spiking neural P systems with exhaustive use of rules.

Normal forms for some classes of sequential spiking neural P systems.

Numerical Spiking Neural P Systems.

Spiking neural P systems with astrocytes.

Spiking Neural P Systems with Polarizations and Rules on Synapses

Asynchronous Spiking Neural P Systems with Rules on Synapses