TY - GEN
T1 - A P-lingua based simulator for spiking neural P systems
AU - Macías-Ramos, Luis F.
AU - Pérez-Hurtado, Ignacio
AU - García-Quismondo, Manuel
AU - Valencia-Cabrera, Luis
AU - Pérez-Jiménez, Mario J.
AU - Riscos-Núñez, Agustín
N1 - Copyright:
Copyright 2012 Elsevier B.V., All rights reserved.
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84856090021&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84856090021&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-28024-5_18
DO - 10.1007/978-3-642-28024-5_18
M3 - Conference contribution
AN - SCOPUS:84856090021
SN - 9783642280238
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 257
EP - 281
BT - Membrane Computing - 12th International Conference, CMC 2011, Revised Selected Papers
T2 - 12th International Conference on Membrane Computing, CMC 2011
Y2 - 23 August 2011 through 26 August 2011
ER -