Towards a High-Level Programming Language of Spiking Neural P Systems

Spiking neural P systems are a class of synchronous, parallel and distributed computation devices which are inspired by the neuro-physiological behavior of biological neurons. Many computational prop- erties of this model have been investigated in the literature, such as Turing-completeness and normal forms. In this paper we show explicit constructions of spiking neural P systems that simulate the instructions of Random Access Machines. Such a simulation opens the way to a simpler method of designing spiking neural P systems, namely, programming the function to be computed by means of the while language (a Pascal-like structured language), then compiling to a RAM program and finally producing the spiking neural P system that simulates such a program.