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.
Leporati, A., Mauri, G. (2009). Towards a High-Level Programming Language of Spiking Neural P Systems [Rapporto tecnico].
Towards a High-Level Programming Language of Spiking Neural P Systems
LEPORATI, ALBERTO OTTAVIO;MAURI, GIANCARLO
2009
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.