Computational power of dynamic threshold neural P systems for generating string languages

被引:6
作者
Huang, Yue [1 ]
Yi, Wenmei [1 ]
Peng, Hong [1 ]
Wang, Jun [2 ]
Luo, Xiaohui [1 ]
Yang, Qian [1 ]
机构
[1] Xihua Univ, Sch Comp & Software Engn, Chengdu 610039, Sichuan, Peoples R China
[2] Xihua Univ, Sch Elect Engn & Elect Informat, Chengdu 610039, Sichuan, Peoples R China
基金
中国国家自然科学基金;
关键词
Membrane computing; Dynamic threshold neural P systems; String language; Language generator; FAULT-DIAGNOSIS; ALGORITHM; RULES;
D O I
10.1016/j.tcs.2020.10.021
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Inspired from spiking and dynamic mechanisms of neurons, dynamic threshold neural P systems (DTNP systems) have been developed and their computational completeness as number-generating/accepting devices and function computing devices has been investigated. However, a universality result of DTNP systems as language generators has not been established so far. This paper discusses computational power of DTNP systems as language generators. We first discuss the relationship between the languages generated by DTNP systems and finite languages, and then prove that regular languages can be generated by finite DTNP systems. Moreover, we prove that recursively enumerable languages can be characterized by projections of inverse-morphic images of the languages generated by DTNP systems. (C) 2020 Elsevier B.V. All rights reserved.
引用
收藏
页码:77 / 91
页数:15
相关论文
共 58 条
[1]  
[Anonymous], IEEE T NEURAL NETW L
[2]  
[Anonymous], 2010, The Oxford Handbook of Membrane Computing
[3]   Cell communication in tissue P systems: Universality results [J].
Bernardini, F ;
Gheorghe, M .
SOFT COMPUTING, 2005, 9 (09) :640-649
[4]  
Bernardini F, 2004, J UNIVERS COMPUT SCI, V10, P509
[5]   Sequential spiking neural P systems with structural plasticity based on max/min spike number [J].
Cabarle, Francis George C. ;
Adorna, Henry N. ;
Perez-Jimenez, Mario J. .
NEURAL COMPUTING & APPLICATIONS, 2016, 27 (05) :1337-1347
[6]   Asynchronous spiking neural P systems [J].
Cavaliere, Matteo ;
Ibarra, Oscar H. ;
Paun, Gheorghe ;
Egecioglu, Omer ;
Ionescu, Mihai ;
Woodworth, Sara .
THEORETICAL COMPUTER SCIENCE, 2009, 410 (24-25) :2352-2364
[7]  
Chen HM, 2007, FUND INFORM, V75, P141
[8]   A class of restricted P colonies with string environment [J].
Cienciala, Ludek ;
Ciencialova, Lucie ;
Csuhaj-Varju, Erzsebet .
NATURAL COMPUTING, 2016, 15 (04) :541-549
[9]   Membrane computing and image processing: a short survey [J].
Diaz-Pernil, Daniel ;
Gutierrez-Naranjo, Miguel A. ;
Peng, Hong .
JOURNAL OF MEMBRANE COMPUTING, 2019, 1 (01) :58-73
[10]   A parallel algorithm for skeletonizing images by using spiking neural P systems [J].
Diaz-Pernil, Daniel ;
Pena-Cantillana, Francisco ;
Gutierrez-Naranjo, Miguel A. .
NEUROCOMPUTING, 2013, 115 :81-91