%0 Generic
%D 2009
%T Spiking neural P systems with anti-spikes
%A Linqiang Pan
%A Gheorghe Paun
%C Oradea, Romania
%I Agora University Editing House - CCC Publications
%K Computability
%K Membrane computing
%K P system
%K Spiking neural P system
%N 3
%P 273-282
%U http://www.journal.univagora.ro/?page=article_details&id=372
%V IV
%X Besides usual spikes employed in spiking neural P systems, we consider "anti-spikes", which participate in spiking and forgetting rules, but also annihilate spikes when meeting in the same neuron.This simple extension of spiking neural P systems is shown to considerably simplify the universality proofs in this area: all rules become of the form bc \rightarrow b' or bc \rightarrow lambda, where b,b' are spikes or anti-spikes. Therefore, the regular expressions which control the spiking are the simplest possible, identifying only a singleton. A possible variation is not to produce anti-spikes in neurons, but to consider some ``inhibitory synapses", which transform the spikes which pass along them into anti-spikes. Also in this case, universality is rather easy to obtain, with rules of the above simple forms.
%8 09/2009