脉冲神经膜系统在穷举使用规则下产生的二进制字符串语言.docVIP

脉冲神经膜系统在穷举使用规则下产生的二进制字符串语言 江赟 石晓龙 张征 （华中科技大学控制科学与工程系图象处理与智能控制教育部重点实验室，武汉 430074） 摘要 脉冲神经膜系统是基于大脑中神经元之间通过突触相互协作、处理脉冲的生物现象提出的一种新的模型，本文在穷举使用规则的情况下考虑将脉冲神经膜系统作为串语言产生器：当输出神经元发送出一个或多个神经脉冲时, 用数字表示, 否则用数字表示, 当计算停止时，把产生的二进制串定义为系统的计算结果。在本文中，我们证明了在穷举使用规则的情况下，具有一个神经元的脉冲神经膜系统可以刻画二进制有限语言，并且证明了在不限制神经元个数的情况下，该系统可以刻画递归可枚举语言。 关键词 膜计算；脉冲神经膜系统；穷举使用规则；二进制字符串 中图法分类号 TP301 Binary String Languages Generated by Spiking Neural P Systems with Exhaustive Use of Rules JIANG Yun SHI Xiao Long ZHANG Zheng (Key Laboratory of Image Processing and Intelligent Control, Department of Control Science and Engineering, Huazhong University of Science and Technology, Wuhan, 430074) Abstract Spiking neural P systems are a new computing model inspired from the biological phenomena that the neurons cooperate to deal with spikes by axon in the brain. Here we consider computing devices of spiking neural P systems with exhaustive use of rules as string language generators, where the digit 1 is associated with a step when one or more spikes exit the output neuron, while the digit 0 is associated with a step when no spike is emitted by the output neuron, and the binary strings associated with halting computation constitutes resulting spike trains. In the case of binary strings generated by spiking neural P systems with exhaustive use of rules, we find characterization of finite and recursively enumerable languages. Keywords membrane computing; spiking neural P systems; exhaustive use of rules; binary string 1 引言 膜计算（Membrane Computing）是生物计算的一个分支。1998年，罗马尼亚科学院院士Gh P?un在研究生物细胞结构和功能时，根据细胞处理化学物质的机理抽象出膜计算模型[1]。膜计算模型具有良好的分布式结构，为计算机科学引入了新的计算概念和方法。膜计算理论提出以后，人们对此进行了广泛地研究[2,3]。2003年，膜计算被美国科学信息所评为计算机科学领域发展最快的前沿领域之一。 基于大脑中神经元之间通过突触相互协作、处理脉冲的生物现象，M. Ionescu等人于2006年提出了一种新的膜系统[4]——脉冲神经膜系统（Spike Neural P System），这种膜系统具有特殊的组成和运行方式：一组神经元分布在图的顶点上；这些神经元受触发规则的控制，通过突触（图的边）传递信号（神经脉冲）；一个神经元被指定为系统的输出神经元，它的神经脉冲可以发送到环境中，从而产生一个脉冲序列。 到目前为止，对脉冲神经膜系统，通常考虑以下两种形式的输出：一种是数字，即将输出神经元连续发送出的神经脉冲之间的步骤差作为计 本课题得到 本课题得到国家自然科学基金