A p---lingua based simulator for spiking neural p systems

Authors:
Luis F. Macías---Ramos;Ignacio Pérez---Hurtado;Manuel García---Quismondo;Luis Valencia---Cabrera;Mario J. Pérez---Jiménez;Agustín Riscos---Núñez
Affiliations:
Research Group on Natural Computing, Dpt. of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain;Research Group on Natural Computing, Dpt. of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain;Research Group on Natural Computing, Dpt. of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain;Research Group on Natural Computing, Dpt. of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain;Research Group on Natural Computing, Dpt. of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain;Research Group on Natural Computing, Dpt. of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain
Venue:
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Year:
2011

Citing 10
Cited 1

Membrane Computing: An Introduction

Membrane Computing: An Introduction
DNA Processing in Ciliates - the Wonders of DNA Computing in vivo

UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
Spiking Neural P Systems

Fundamenta Informaticae
On String Languages Generated by Spiking Neural P Systems

Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Spiking neural P systems with extended rules: universality and languages

Natural Computing: an international journal
Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources

Natural Computing: an international journal
Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources

Fundamenta Informaticae
A P-Lingua Programming Environment for Membrane Computing

Membrane Computing
Spiking neural P systems with neuron division

CMC'10 Proceedings of the 11th international conference on Membrane computing
An overview of p-lingua 2.0

WMC'09 Proceedings of the 10th international conference on Membrane Computing

Spiking neural p systems with functional astrocytes

CMC'12 Proceedings of the 13th international conference on Membrane Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of the computational completeness (they are equivalent in power to Turing machines) and computational efficiency of this kind of systems. These devices have been shown capable of providing polynomial time solutions to computationally hard problems by making use of an exponential workspace constructed in a natural way. In order to experimentally explore this computational power, it is necessary to develop software that provides simulation tools (simulators) for the existing variety of SN P systems. Such simulators allow us to carry out computations of solutions to NP-complete problems on certain instances. Within this trend, P-Lingua provides a standard language for the definition of P systems. As part of the same project, pLinguaCore library provides particular implementations of parsers and simulators for the models specified in P-Lingua. In this paper, an extension of the P-Lingua language to define SN P systems is presented, along with an upgrade of pLinguaCore including a parser and a new simulator for the variants of these systems included in the language.