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.

Smaller Universal Spiking Neural P Systems

Small Universal Spiking Neural P Systems with Exhaustive Use of Rules

Small universal asynchronous spiking neural P systems

Small Universal Spiking Neural P Systems Working in Exhaustive Mode.

A Weakly Universal Spiking Neural P System

Small Universal Spiking Neural P Systems with Anti-Spikes

A Small Universal Spiking Neural P System with Cooperating Rules

A small universal spiking neural P system with communication on request.

On the Universality and Non-Universality of Spiking Neural P Systems with Rules on Synapses.

Spiking Neural P Systems with a Generalized Use of Rules

A note on small universal spiking neural p systems

Spiking Neural P Systems: an Improved Normal Form

Spiking Neural P Systems with Weighted Synapses

Cell-like Spiking Neural P Systems.

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

Universality of Sequential Spiking Neural P Systems Based on Minimum Spike Number

Simplified and Yet Turing Universal Spiking Neural P Systems with Communication on Request.

Spiking Neural P Systems with Homogeneous Neurons and Synapses

Numerical Spiking Neural P Systems.

Spiking Neural P Systems With Neuron Division

Spiking Neural P Systems with Request Rules