×

关于使用进化处理器的接受混合网络识别无上下文语言。 (英语) Zbl 1117.68043号

摘要:我们基于一个新定义的计算模型:接受进化处理器混合网络(AHNEP),探讨了为无上下文语言类构造接受设备的问题。尽管众所周知,AHNEP是图灵完备的,因此,对于每一种上下文无关的语言(被视为递归可枚举语言),我们可以构造一个AHNEP来模拟接受它的图灵机器,我们选择了一种直接的方法:我们设计的AHNEP模拟由接受该语言的非确定性下推自动机进行的计算。这种方法导致了更经济的AHNEP,因为我们使用的处理器数量线性地依赖于自动机的状态数和工作符号数,而对于递归可枚举语言的一般情况下获得的网络,处理器数量在状态数上是线性的,但是接受给定语言的图灵机的工作符号数量是二次的。最后,我们详细介绍了我们提出的用于识别正则语言的AHNEP体系结构。我们获得了所需处理器数量的上限,接近生成进化处理器混合网络所需的上限。

MSC公司:

65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Castellanos,J.、Martin-Vide,C.、Mitrana,V.和Sempere,J.2001。用进化处理器网络解决NP-完全问题,621-628。柏林:Springer-Verlag。LNCS 2084号·Zbl 0982.68767号
[2] Martin-Vide C.,《分子计算模型:非传统方法》(2004)
[3] Manea,F.,Martín-Vide,C.和Mitrana,V.2004。使用WWW在线性时间中求解3CNF-SAT和HPP,269–280。柏林:Springer-Verlag。LNCS 3354号·Zbl 1118.68510号
[4] Martin-Vide,C.,Mitrana,V.,Perez-Jimenez,M.和Sancho-Caparini,F.2002。进化处理器的混合网络,401-412。柏林:Springer Verlag。LNCS 2723号·Zbl 1028.68838号
[5] Margenstern,M.、Mitrana,V.和Perez-Jimenez,M.2005。接受进化系统的混合网络,235-246。柏林:施普林格出版社。LNCS 3384号·Zbl 1116.68463号
[6] Castellanos J.,《信息学报》39第517页–(2003)·Zbl 1060.68046号 ·doi:10.1007/s00236-003-0114-y
[7] DOI:10.1016/j.tcs.2004.07.035·Zbl 1078.68009号 ·doi:10.1016/j.tcs.2004.07.035
[8] Hopcroft J.E.,自动机理论、语言和计算导论(1979)·兹标0426.68001
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。