On languages generated by spiking neural P systems with weights

被引:78
作者
Zeng, Xiangxiang [1 ]
Xu, Lei [2 ]
Liu, Xiangrong [1 ]
Pan, Linqiang [3 ]
机构
[1] Xiamen Univ, Dept Comp Sci, Xiamen 361005, Fujian, Peoples R China
[2] Univ Oxford, Dept Comp Sci, Oxford OX1 3QD, England
[3] Huazhong Univ Sci & Technol, Sch Automat, Key Lab Image Informat Proc & Intelligent Control, Wuhan 430074, Hubei, Peoples R China
基金
中国国家自然科学基金;
关键词
Natural computing; Membrane computing; Spiking neural P system; Turing universality; Recursively enumerable language;
D O I
10.1016/j.ins.2014.03.062
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Spiking neural P systems with weights (WSN P systems, for short) are a class of distributed parallel computing devices inspired from the way neurons communicate by means of spikes. It has been proved that WSN P systems can generate/recognize Turing computable set of numbers (i.e., they are Turing universal as number generators/recognizers). In this work, we investigate the language generation power of WSN P systems, where the set of spike trains of halting computations of a given WSN P system constitutes the language generated by that system. Several relationships of the families of languages generated by WSN P systems with the family of finite languages and the family of regular languages are obtained. The family of recursively enumerable languages is characterized by projections of inverse-morphic images of languages generated by WSN P systems. (C) 2014 Elsevier Inc. All rights reserved.
引用
收藏
页码:423 / 433
页数:11
相关论文
共 26 条
[1]  
[Anonymous], 2002, Membrane Computing. An Introduction
[2]   Development of membrane controllers for mobile robots [J].
Buiu, Catalin ;
Vasile, Cristian ;
Arsene, Octavian .
INFORMATION SCIENCES, 2012, 187 :33-51
[3]  
Chen H., 2006, 4 BRAINST WEEK MEMBR, VI, P169
[4]   Spiking neural P systems with extended rules: universality and languages [J].
Haiming Chen ;
Mihai Ionescu ;
Tseren-Onolt Ishdorj ;
Andrei Păun ;
Gheorghe Păun ;
Mario J. Pérez-Jiménez .
Natural Computing, 2008, 7 (2) :147-166
[5]  
Gerstner W., 2002, SPIKING NEURON MODEL
[6]   Dynamic multi-objective optimization based on membrane computing for control of time-varying unstable plants [J].
Huang, Liang ;
Suh, Il Hong ;
Abraham, Ajith .
INFORMATION SCIENCES, 2011, 181 (11) :2370-2391
[7]  
Ionescu M, 2006, FUND INFORM, V71, P279
[8]   Uniform solutions to SAT and Subset Sum by spiking neural P systems [J].
Leporati A. ;
Mauri G. ;
Zandron C. ;
Păun G. ;
Pérez-Jiménez M.J. .
Natural Computing, 2009, 8 (4) :681-702
[9]  
Leporati A, 2009, INT J UNCONV COMPUT, V5, P459
[10]  
MAASS W., 2002, Computing with spikes, V8, P32