摘要
为了验证脉冲神经膜系统(SNPS)在运算受限情况下的计算性能,该文在标准SNPS中引入最小串行策略,并研究其语言产生能力。在使用最小串行策略的SNPS的每一步计算中,只有满足相应规则且所含脉冲数最少的神经元才可以激发。首先分析了使用最小串行策略的SNPS与有限语言和正则语言的关系,定义了任意多元字母表到二元字母表的映射,构建了能够产生递归可枚举语言的SNPS,设计了加法模块和减法模块。模拟注册机证明,使用最小串行策略的SNPS能够刻画递归可枚举语言,验证了SNPS在最小串行策略下仍具有与图灵机等价的计算能力。
- 单位