Asynchronous spiking neural P systems

作者：Cavaliere Matteo; Ibarra Oscar H^*; Paun Gheorghe; Egecioglu Omer; Ionescu Mihai; Woodworth Sara

来源：Theoretical Computer Science, 2009, 410(24-25): 2352-2364.

DOI：10.1016/j.tcs.2009.02.031

• Membrane computing
• Spiking neural P system
• Turing computability
• Counter machine
• Decidability

We consider here spiking neural P systems with a non-synchronized (i.e., asynchronous) use of rules: in any step, a neuron can apply or not apply its rules which are enabled by the number of spikes it contains (further spikes can come, thus changing the rules enabled in the next step). Because the time between two firings of the output neuron is now irrelevant, the result of a computation is the number of spikes sent out by the system, not the distance between certain spikes leaving the system. The additional non-determinism introduced in the functioning of the system by the non-synchronization is proved not to decrease the computing power in the case of using extended rules (several spikes can be produced by a rule). That is, we obtain again the equivalence with Turing machines (interpreted as generators of sets of (vectors of) numbers). However, this problem remains open for the case of standard spiking neural P systems, whose rules can only produce one spike. On the other hand we prove that asynchronous systems, with extended rules, and where each neuron is either bounded or unbounded, are not computationally complete.
For these systems, the configuration reachability, membership (in terms of generated vectors), emptiness, infiniteness, and disjointness problems are shown to be decidable. However, containment and equivalence are undecidable.

• 出版日期2009-5-28
• 单位Microsoft