No abstract

Abstracted from the nested structure of biological cells with application on the modeling of economical processes, numerical P systems (in short, NP systems) as a kind of distributed parallel computation systems have been proposed. It has been proven that NP systems and variants are Turing universal for number accepting/generating devices and language generating device. However, universality of NP systems as function computing devices has not been established. Aiming at numerical P systems with thresholds (in short, TNP systems), small universality for computing functions is discussed in this paper. Six small universal function computing devices of TNP systems for two threshold cases and working on three different modes are constructed, respectively.

No abstract

Spiking neural P systems (SNP systems, in short) are a class of distributed parallel computation systems, inspired from the way that the neurons process and communicate information by means of spikes. A new variant of SNP systems, which works in asynchronous mode, asynchronous spiking neural P systems with multiple channels and symbols (ASNP-MCS systems, in short), is investigated in this paper. There are two interesting features in ASNP-MCS systems: multiple channels and multiple symbols. That is, every neuron has more than one synaptic channels to connect its subsequent neurons, and every neuron can deal with more than one type of spikes. The variant works in asynchronous mode: in every step, each neuron can be free to fire or not when its rules can be applied. The computational completeness of ASNP-MCS systems is investigated. It is proved that ASNP-MCS systems as number generating and accepting devices are Turing universal. Moreover, we obtain a small universal function computing device that is an ASNP-MCS system with 67 neurons. Specially, a new idea that can solve "block" problems is proposed in INPUT modules.