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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cabarle, F., Adorna, H., Martínez-del-Amor, M.A.: Spiking neural P system without delay simulator implementation using GPGPUs. In: Eleventh Philippine Computing Science Congress, pp. 35–43 (2011)
Chen, H., Freund, R., Ionescu, M., Păun, G., Pérez-Jiménez, M.J.: On string languages generated by spiking neural P systems. Fundamenta Informaticae 75, 141–162 (2007)
Chen, H., Ionescu, M., Ishdorj, T.-O.: On the efficiency of spiking neural P systems. In: Proceedings of the 8th International Conference on Electronics, Information, and Communication, pp. 49–52 (2006)
Chen, H., Ionescu, M., Ishdorj, T.-O., Păun, A., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with extended rules: universality and languages. Natural Computing 7(2), 147–166 (2008)
Díaz-Pernil, D., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A P-Lingua Programming Environment for Membrane Computing. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 187–203. Springer, Heidelberg (2009)
Galli, R., Gritti, A., Bonfanti, L., Vescovi, A.L.: Neural stem cells: an overview. Circulation Research 92, 598–608 (2003)
García-Quismondo, M., Gutiérrez-Escudero, R., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: An Overview of P-Lingua 2.0. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 264–288. Springer, Heidelberg (2010)
Ibarra, O.H., Leporati, A., Păun, A., Woodworth, S.: Spiking Neural P Systems. In: Paun, G., Rozenberg, G., Salomaa, A. (eds.) The Oxford Handbook of Membrane Computing, ch. 13, pp. 337–362. Oxford University Press, Oxford (2009)
Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2-3), 279–308 (2006)
Ishdorj, T.-O., Leporati, A.: Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources. Natural Computing 7(4), 519–534 (2008)
Leporati, A., Gutiérrez-Naranjo, M.A.: Solving Subset Sum by spiking neural P systems with pre-computed resources. Fundamenta Informaticae 87(1), 61–77 (2008)
Pan, L., Păun, G., Pérez-Jiménez, M.J.: Spiking Neural P systems with neuron division and budding. In: Proceedings of the Seventh Brainstorming Week on Membrane Computing, vol. 2, pp. 151–168 (2009)
Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)
Păun, G., Pérez-Jiménez, M.J., Rozenberg, G.: Spike trains in spiking neural P systems. International Journal of Foundations of Computer Science 17(4), 975–1002 (2006)
Păun, A., Păun, G.: Small universal spiking neural P systems. BioSystems 90(1), 48–60 (2007)
Pérez-Hurtado, I., Valencia-Cabrera, L., Pérez-Jiménez, M.J., Colomer, M.A., Riscos-Núñez, A.: MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems. In: IEEE Fifth International Conference on Bio-inspired Computing: Theories and Applications (BIC-TA 2010), vol. 1, pp. 637–643 (2010)
Rozenberg, G.: DNA processing in ciliates. The wonders of DNA computing in vivo. In: Unconventional models of Computation (UMC 2K), pp. 116–118 (2010)
Wang, J., Hoogeboom, H.-J., Pan, L.: Spiking Neural P Systems with Neuron Division. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 361–376. Springer, Heidelberg (2010)
Wang, J., Hoogeboom, H.-J., Pan, L., Păun, G.: Spiking neural P systems with weights and thresholds. In: Proceedings of Tenth Workshop on Membrane Computing, pp. 514–533 (2009)
Java’s regular expressions specification, http://download.oracle.com/javase/1.4.2/docs/api/java/util/regex/Pattern.html
The Sun’s Java Web Site, http://www.oracle.com/us/technologies/java/index.html
The P–Lingua Web Site, http://www.p-lingua.org/
The SATLIB library, http://www.cs.ubc.ca/~hoos/SATLIB/index-ubc.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Macías–Ramos, L.F., Pérez–Hurtado, I., García–Quismondo, M., Valencia–Cabrera, L., Pérez–Jiménez, M.J., Riscos–Núñez, A. (2012). A P–Lingua Based Simulator for Spiking Neural P Systems. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds) Membrane Computing. CMC 2011. Lecture Notes in Computer Science, vol 7184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28024-5_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-28024-5_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28023-8
Online ISBN: 978-3-642-28024-5
eBook Packages: Computer ScienceComputer Science (R0)