On languages generated by asynchronous spiking neural P systems
Theoretical Computer Science
Sequential SNP systems based on min/max spike number
Theoretical Computer Science
One-reversal counter machines and multihead automata: revisited
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
One-reversal counter machines and multihead automata: Revisited
Theoretical Computer Science
Hi-index | 0.01 |
A k-output spiking neural P system (SNP) with output neurons, $${{O_1},\ldots{,{O_k}}}$$ , generates a tuple $${({n_1},\ldots{,{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 aa (the times the pair aa 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 k-output SNPs operating in a sequential mode. Slight variations of the models make them universal.