×

Spiking neural P systems with rules on synapses and anti-spikes. (English) Zbl 1390.68313

Summary: Spiking neural P systems with anti-spikes (in short, ASN P systems) are a variant of spiking neural P systems (in short, SN P systems), inspired by the way in which neurons process information and communicate to each other through both excitatory and inhibitory impulses. In this work, we consider ASN P systems with rules on synapses, where all neurons contain only spikes or anti-spikes, and the rules are placed on the synapses. The computational power of ASN P systems with rules on synapses is investigated with the restrictions: (1) systems are simple in the sense that each synapse has only one rule; (2) all spiking rules on synapses are bounded; (3) the delay feature and forgetting rules are not used. Specifically, we prove that ASN P systems with pure spiking rules of categories \((a, a)\) and \((a, \overline{a})\) on synapses are universal as number generating and accepting devices. The universality of ASN P systems with spiking rules of categories \((a, \overline{a})\) and \((\overline{a}, a)\) on synapses as generating and accepting devices is obtained, where synapses can change spikes to anti-spikes or change anti-spikes to spikes. We also prove that ASN P systems with inhibitory synapses using spiking rules of category \((a, a)\) on synapses are universal as both generating and accepting devices. These results illustrate that simple form of spiking rules is enough for ASN P systems with rules on synapses to achieve Turing universality.

MSC:

68Q05 Models of computation (Turing machines, etc.) (MSC2010)

Software:

MeCoSim; P-Lingua
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] (Rozenberg, G.; Bäck, T.; Kok, J. N., Handbook of Natural Computing (2012), Springer-Verlag: Springer-Verlag Berlin) · Zbl 1248.68001
[2] Păun, G., Computing with membranes, J. Comput. System Sci., 61, 1, 108-143 (2000) · Zbl 0956.68055
[3] Martín-Vide, C.; Păun, G.; Pazos, J.; Rodríguez-Patón, A., Tissue P systems, Theoret. Comput. Sci., 296, 2, 295-326 (2003) · Zbl 1045.68063
[4] Ionescu, M.; Păun, G.; Yokomori, T., Spiking neural P systems, Fund. Inform., 71, 2,3, 279-308 (2006) · Zbl 1110.68043
[5] Freund, R.; Păun, G.; Pérez-Jiménez, M. J., Tissue P systems with channel states, Theoret. Comput. Sci., 330, 1, 101-116 (2005) · Zbl 1078.68061
[6] Zhang, X.; Liu, Y.; Luo, B.; Pan, L., Computational power of tissue P systems for generating control languages, Inform. Sci., 278, 285-297 (2014) · Zbl 1354.68084
[7] Păun, G.; Păun, R., Membrane computing and economics: numerical P systems, Fund. Inform., 73, 1,2, 213-227 (2006) · Zbl 1157.68373
[8] Leporati, A.; Porreca, A. E.; Zandron, C.; Mauri, G., Improved universality results for parallel enzymatic numerical P systems, Int. J. Unconv. Comput., 9, 5,6, 385-404 (2013)
[9] Pan, L.; Păun, G.; Song, B., Flat maximal parallelism in P systems with promoters, Theoret. Comput. Sci., 623, 83-91 (2016) · Zbl 1336.68073
[10] Zhang, G.; Gheorghe, M.; Wu, C., A quantum-inspired evolutionary algorithm based on P systems for knapsack problem, Fund. Inform., 87, 1, 93 (2008) · Zbl 1154.68514
[11] Pavel, A. B.; Buiu, C., Using enzymatic numerical P systems for modeling mobile robot controllers, Nat. Comput., 11, 3, 387-393 (2012) · Zbl 1251.68104
[12] Buiu, C.; Vasile, C.; Arsene, O., Development of membrane controllers for mobile robots, Inform. Sci., 187, 33-51 (2012)
[13] Zhang, G.; Gheorghe, M.; Pan, L.; Pérez-Jiménez, M. J., Evolutionary membrane computing: a comprehensive survey and new results, Inform. Sci., 279, 528-551 (2014)
[14] Wang, X.; Zhang, G.; Neri, F.; Jiang, T.; Zhao, J.; Gheorghe, M.; Ipate, F.; Lefticaru, R., Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots, Integr. Comput.-Aided Eng., 23, 1, 15-30 (2015)
[15] (Păun, G.; Rozenberg, G.; Salomaa, A., The Oxford Handbook of Membrane Computing (2010), Oxford University Press: Oxford University Press New York) · Zbl 1237.68001
[16] (Gerstner, W.; Kistler, W. M., Spiking Neuron Models. Single Neurons, Populations, Plasticity (2002), Cambridge University Press: Cambridge University Press Cambridge) · Zbl 1100.92501
[17] Maass, W., Computing with spikes, Special Issue on Foundations of Information Processing of TELEMATIK, 8, 1, 32-36 (2002)
[18] (Maass, W.; Bishop, C. M., Pulsed Neural Networks (1999), MIT Press: MIT Press Cambridge) · Zbl 0935.68087
[19] Zeng, X.; Zhang, X.; Song, T.; Pan, L., Spiking neural P systems with thresholds, Neural Comput., 26, 7, 1340-1361 (2014) · Zbl 1415.68104
[20] Zhang, X.; Pan, L.; Păun, A., On the universality of axon P systems, IEEE Trans. Neural Netw. Learn. Syst., 26, 11, 2816-2829 (2015)
[21] Cabarle, F. G.C.; Adorna, H. N.; Pérez-Jiménez, M. J.; Song, T., Spiking neural P systems with structural plasticity, Neural Comput. Appl., 26, 8, 1905-1917 (2015)
[22] Wu, T.; Zhang, Z.; Păun, G.; Pan, L., Cell-like spiking neural P systems, Theoret. Comput. Sci., 623, 180-189 (2016) · Zbl 1336.68076
[23] Song, T.; Pan, L., Spiking neural P systems with request rules, Neurocomputing, 193, 193-200 (2016)
[24] Jiang, K.; Chen, W.; Zhang, Y.; Pan, L., Spiking neural P systems with homogeneous neurons and synapses, Neurocomputing, 171, 1548-1555 (2016)
[25] Cavaliere, M.; Ibarra, O. H.; Păun, G.; Egecioglu, O.; Ionescu, M.; Woodworth, S., Asynchronous spiking neural P systems, Theoret. Comput. Sci., 410, 24, 2352-2364 (2009) · Zbl 1168.68014
[26] Song, T.; Pan, L.; Păun, G., Asynchronous spiking neural P systems with local synchronization, Inform. Sci., 219, 197-207 (2013) · Zbl 1293.68122
[27] Ibarra, O. H.; Păun, A.; Rodríguez-Patón, A., Sequential SNP systems based on min/max spike number, Theoret. Comput. Sci., 410, 2982-2991 (2009) · Zbl 1173.68020
[28] Jiang, K.; Song, T.; Pan, L., Universality of sequential spiking neural P systems based on minimum spike number, Theoret. Comput. Sci., 499, 88-97 (2013) · Zbl 1296.68049
[29] Zhang, X.; Zeng, X.; Luo, B.; Pan, L., On some classes of sequential spiking neural P systems, Neural Comput., 26, 5, 974-997 (2014) · Zbl 1410.68128
[30] Jiang, K.; Pan, L., Spiking neural P systems with anti-spikes working in sequential mode induced by maximum spike number, Neurocomputing, 171, 1674-1683 (2016)
[31] Ionescu, M.; Păun, G.; Yokomori, T., Spiking neural P systems with an exhaustive use of rules, Int. J. Unconv. Comput., 3, 2, 135-154 (2007)
[32] Zhang, X.; Wang, B.; Pan, L., Spiking neural P systems with a generalized use of rules, Neural Comput., 26, 12, 2925-2943 (2014) · Zbl 1415.68105
[33] Pan, L.; Păun, G.; Pérez-Jiménez, M. J., Spiking neural P systems with neuron division and budding, Sci. China Inf. Sci., 54, 8, 1596-1607 (2011) · Zbl 1267.68158
[34] Leporati, A.; Mauri, G.; Zandron, C.; Păun, G.; Pérez-Jiménez, M. J., Uniform solutions to SAT and Subset Sum by spiking neural P systems, Nat. Comput., 8, 4, 681-702 (2009) · Zbl 1185.68340
[35] Ishdorj, T.-O.; Leporati, A.; Pan, L.; Zeng, X.; Zhang, X., Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources, Theoret. Comput. Sci., 411, 25, 2345-2358 (2010) · Zbl 1208.68172
[36] Peng, H.; Wang, J.; PéRez-JiméNez, M. J.; Wang, H.; Shao, J.; Wang, T., Fuzzy reasoning spiking neural P system for fault diagnosis, Inform. Sci., 235, 106-116 (2013) · Zbl 1284.68265
[37] Wang, T.; Zhang, G.; Rong, H.; Pérez-Jiménez, M. J., Application of fuzzy reasoning spiking neural P systems to fault diagnosis, Int. J. Comput. Commun. Control, 9, 6, 786-799 (2014)
[38] Díaz-Pernil, D.; Peña-Cantillana, F.; Gutiérrez-Naranjo, M. A., A parallel algorithm for skeletonizing images by using spiking neural P systems, Neurocomputing, 115, 81-91 (2013)
[39] Wang, T.; Zhang, G.; Zhao, J.; He, Z.; Wang, J.; Perez-Jimenez, M., Fault diagnosis of electric power systems based on fuzzy reasoning spiking neural P systems, IEEE Trans. Power Syst., 30, 3, 1182-1194 (2015)
[40] Zhang, G.; Rong, H.; Neri, F.; Pérez-Jiménez, M. J., An optimization spiking neural P system for approximately solving combinatorial optimization problems, Int. J. Neural Syst., 24, 05, Article 1440006 pp. (2014)
[41] 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., A P-Lingua based simulator for spiking neural P systems, (Gheorghe, M.; etal., 12th International Conference on Membrane Computing 2011. 12th International Conference on Membrane Computing 2011, Fontainebleau, France, August 23-26, 2011. 12th International Conference on Membrane Computing 2011. 12th International Conference on Membrane Computing 2011, Fontainebleau, France, August 23-26, 2011, Lecture Notes in Comput. Sci., vol. 7184 (August 2011), Springer: Springer Berlin), 257-281, Revised Selected Papers
[42] Macías-Ramos, L. F.; Pérez-Jiménez, M. J.; Song, T.; Pan, L., Extending simulation of asynchronous spiking neural P systems in P-Lingua, Fund. Inform., 136, 3, 253-267 (2015) · Zbl 1356.68066
[43] 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, (Proceedings of the Fifth International Conference Bo-inspired Computing: Theories and Applications (BIC-TA 2010). Proceedings of the Fifth International Conference Bo-inspired Computing: Theories and Applications (BIC-TA 2010), Changsha, China, September 23-26, 2010 (2010)), 637-643
[44] Cabarle, F. G.; Adorna, H.; Martínez-del Amor, M. A.; Pérez-Jiménez, M. J., Spiking neural P system simulations on a high performance GPU platform, (Xiang, Y.; etal., 11th International Conference on Algorithms and Architectures for Parallel Processing. 11th International Conference on Algorithms and Architectures for Parallel Processing, Melbourne, Australia, October 24-26, 2011. 11th International Conference on Algorithms and Architectures for Parallel Processing. 11th International Conference on Algorithms and Architectures for Parallel Processing, Melbourne, Australia, October 24-26, 2011, Lecture Notes in Comput. Sci., vol. 7017 (2011), Springer: Springer Berlin), 99-108
[45] Cabarle, F. G.C.; Adorna, H.; Martínez, M. A., A spiking neural P system simulator based on CUDA, (Gheorghe, M.; etal., 12th International Conference on Membrane Computing 2011. 12th International Conference on Membrane Computing 2011, Fontainebleau, France, August 23-26, 2011. 12th International Conference on Membrane Computing 2011. 12th International Conference on Membrane Computing 2011, Fontainebleau, France, August 23-26, 2011, Lecture Notes in Comput. Sci., vol. 7184 (August 2011), Springer: Springer Berlin), 87-103, Revised Selected Papers
[46] Song, T.; Pan, L.; Păun, G., Spiking neural P systems with rules on synapses, Theoret. Comput. Sci., 529, 82-95 (2014) · Zbl 1358.68104
[47] Pan, L.; Păun, G., Spiking neural P systems with anti-spikes, Int. J. Comput. Commun. Control, 4, 3, 273-282 (2009)
[48] Song, T.; Pan, L.; Wang, J.; Venkat, I.; Subramanian, K.; Abdullah, R., Normal forms of spiking neural P systems with anti-spikes, IEEE Trans. Nanobiosci., 11, 4, 352-359 (2012)
[49] Ibarra, O. H.; Woodworth, S., Characterizations of some restricted spiking neural P systems, (Hoogeboom, H. J.; etal., 7th International Workshop on Membrane Computing. 7th International Workshop on Membrane Computing, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers. 7th International Workshop on Membrane Computing. 7th International Workshop on Membrane Computing, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers, Lecture Notes in Comput. Sci., vol. 4361 (2006), Springer: Springer Berlin, Leiden, The Netherlands), 424-442 · Zbl 1187.68238
[50] Leporati, A.; Zandron, C.; Ferretti, C.; Mauri, G., On the computational power of spiking neural P systems, Int. J. Unconv. Comput., 5, 5, 459-473 (2009)
[51] (Rozenberg, G.; Salomaa, A., Handbook of Formal Languages, vol. 1-3 (1997), Springer-Verlag: Springer-Verlag Berlin) · Zbl 0866.68057
[52] Păun, G.; Pérez-Jiménez, M. J.; Rozenberg, G., Spike trains in spiking neural P systems, Internat. J. Found. Comput. Sci., 17, 04, 975-1002 (2006) · Zbl 1098.68048
[53] Minsky, M. L., Computation: Finite and Infinite Machines (1967), Prentice Hall: Prentice Hall Englewood Cliffs, New Jersey · Zbl 0195.02402
[54] Ibarra, O. H.; Woodworth, S., Characterizations of some classes of spiking neural P systems, Nat. Comput., 7, 4, 499-517 (2008) · Zbl 1187.68395
[55] Song, T.; Xu, J.; Pan, L., On the universality and non-universality of spiking neural P systems with rules on synapses, IEEE Trans. Nanobiosci., 14, 8, 960-966 (2015)
[56] Cabarle, F. G.C.; Adorna, H. N.; Pérez Jiménez, M. J., Notes on spiking neural P systems and finite automata, Nat. Comput., 15, 4, 533-539 (2016) · Zbl 1415.68073
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.