On languages generated by spiking neural P systems with weights

被引:77
作者
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
    Buiu, Catalin
    Vasile, Cristian
    Arsene, Octavian
    [J]. 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
    Haiming Chen
    Mihai Ionescu
    Tseren-Onolt Ishdorj
    Andrei Păun
    Gheorghe Păun
    Mario J. Pérez-Jiménez
    [J]. 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
    Huang, Liang
    Suh, Il Hong
    Abraham, Ajith
    [J]. 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
    Leporati A.
    Mauri G.
    Zandron C.
    Păun G.
    Pérez-Jiménez M.J.
    [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