Spiking neural P systems with extended rules: universality and languages

被引:70
作者
Haiming Chen
Mihai Ionescu
Tseren-Onolt Ishdorj
Andrei Păun
Gheorghe Păun
Mario J. Pérez-Jiménez
机构
[1] Institute of Software,Computer Science Laboratory
[2] Chinese Academy of Sciences,Department of Computer Science and AI
[3] Universitat Rovira i Virgili,Computational Biomodelling Laboratory
[4] University of Sevilla,Department of Computer Science
[5] TUCS,Faculdad de Informatíca
[6] Abo Akademi University,undefined
[7] Louisiana Tech University,undefined
[8] Universidad Politécnica de Madrid – UPM,undefined
[9] Institute of Mathematics of the Romanian Academy,undefined
关键词
Membrane computing; Spiking neural P systems; Turing computability; Universality; Chomsky hierarchy;
D O I
10.1007/s11047-006-9024-6
中图分类号
学科分类号
摘要
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The motivation comes both from constructing small universal systems and from generating strings; previous results from these areas are briefly recalled. Then, the computing power of the obtained systems is investigated, when considering them as number generating and as language generating devices. In the first case, a simpler proof of universality is obtained, while in the latter case we find characterizations of finite and recursively enumerable languages (without using any squeezing mechanism, as it was necessary in the case of standard rules). The relationships with regular languages are also investigated.
引用
收藏
页码:147 / 166
页数:19
相关论文
共 8 条
[1]  
Ionescu M(2006)Spiking neural P systems Fundam Informat 71 279-308
[2]  
Păun Gh(1996)Small universal register machines Theor Comput Sci 168 267-301
[3]  
Yokomori T(2002)Computing with spikes Special Issue Found Inform Process TELEMATIK 8 32-36
[4]  
Korec I(2006)Spike trains in spiking neural P systems Int J Found Computer Sci 17 975-1002
[5]  
Maass W(undefined)undefined undefined undefined undefined-undefined
[6]  
Păun Gh(undefined)undefined undefined undefined undefined-undefined
[7]  
Pérez-Jiménez MJ(undefined)undefined undefined undefined undefined-undefined
[8]  
Rozenberg G(undefined)undefined undefined undefined undefined-undefined