Computationally complete spiking neural P systems without delay: Two types of neurons are enough

Abstract

In this paper, we consider spiking neural P systems without delay with specific restrictions on the types of neurons. Two neurons are considered to be of the same type if the rules, the number of spikes in the initial configuration and the number of outgoing synapses are identical. We show that computational completeness can be achieved in both the generating and the accepting case with only two types of neurons, where the number of neurons with unbounded rules is constant even minimal. © 2010 Springer-Verlag.