Spiking Neural P Systems with Extended Channel Rules.

This paper discusses a new variant of spiking neural P systems (in short, SNP systems), spiking neural P systems with extended channel rules (in short, SNP-ECR systems). SNP-ECR systems are a class of distributed parallel computing models. In SNP-ECR systems, a new type of spiking rule is introduced, called ECR. With an ECR, a neuron can send the different numbers of spikes to its subsequent neurons. Therefore, SNP-ECR systems can provide a stronger firing control mechanism compared with SNP systems and the variant with multiple channels. We discuss the Turing universality of SNP-ECR systems. It is proven that SNP-ECR systems as number generating/accepting devices are Turing universal. Moreover, we provide a small universal SNP-ECR system as function computing devices.