On spiking neural P systems and partially blind counter machines

A κ-output spiking neural P system (SNP) with output neurons, O 1 ,..., O k , generates a tuple (n 1 ,..., n k ) of positive integers if, starting from the initial configuration, there is a sequence of steps such that during the computation, each O i generates exactly two spikes a a (the times the pair a a are generated may be different for different output neurons) and the time interval between the first a and the second a is n i . After the output neurons generate their pairs of spikes, the system eventually halts. We give characterizations of sets definable by partially blind multicounter machines in terms of κ-output SNPs operating in a sequential mode. Slight variations of the models make them universal.