On The Delays In Spiking Neural P Systems

TL;DR

This paper presents methods to simulate delayed spiking neural P systems using delay-free systems, ensuring identical halting times, initial conditions, and output spikes, thus improving understanding of their computational equivalence.

Contribution

It introduces constructions that accurately simulate delayed SNP systems with delay-free systems, maintaining key behavioral properties.

Findings

Simulations match halting times and initial conditions.

Output spike counts are identical after halting.

The approach applies to various routing schemes.

Abstract

In this work we extend and improve the results done in a previous work on simulating Spiking Neural P systems (SNP systems in short) with delays using SNP systems without delays. We simulate the former with the latter over sequential, iteration, join, and split routing. Our results provide constructions so that both systems halt at exactly the same time, start with only one spike, and produce the same number of spikes to the environment after halting.