×
J.Gonczarowski。;沙米尔，E。

模式选择器语法和几个上下文无关风格的解析算法。 （英语） Zbl 0601.68057号

J.计算。系统。科学。 30, 249-273 (1985).
模式选择器语法通常是定义的。我们集中研究特殊语法，其模式选择器精确地包含k个“one”s（（0^*（10^*）^k）或k个相邻的“one“s（（0 ^*1^k0^*））。这意味着每个句子形式中精确地重写k个符号（对应k个相邻符号）。主要结果涉及解析算法和成员问题的复杂性。我们首先获得了最短导数的多项式界，从而获得了解析的NP时间界。在（k=2）的情况下，我们推广了众所周知的无上下文动态规划类型的算法，这些算法在多项式时间内运行。结果表明，对于（k=2），生成的语言是可还原为无上下文语言的对数空间。因此，成员资格问题可以在\（\log^2 \）空间中解决。

引用于2评论
引用于8文件

MSC公司：

68N20型 编译与解释理论
65年第68季度 算法和问题复杂性分析

关键词：

成员问题的复杂性;最短导数的多项式界;解析的NP时限;无上下文语言
PDF格式BibTeX公司 XML格式引用
\textit{J.Gonczarowski}和\textit{E.Shamir}，J.Compute。系统。科学。30、249--273（1985；Zbl 0601.68057）
全文： 内政部

参考文献：

[1] Asveld，P.，《内外宏语言的时间和空间复杂性》，国际出版社。J.计算。数学。，10, 3-14 (1981) ·Zbl 0468.68089号
[2] 比里，C。；Shamir，E.，《检查堆栈和无上下文编程文法接受P-complete语言》（Proc.2nd Colloq.Automata，Lang.Programming.Proc.2rd Colloq.Automata、Lang.编程，计算机科学讲稿，第14卷（1974），Springer-Verlag:Springer-Verlag纽约/柏林），27-33·兹比尔0294.68028
[3] E.Dahlhaus和H.Gaifman《私人通信》，耶路撒冷希伯来大学，1985年。；E.Dahlhaus和H.Gaifman，私人通信，耶路撒冷希伯来大学，1985年。
[4] Engelfriet，J.，《由属性语法生成的语言的复杂性》（技术报告（1982年），技术学院：技术学院Twente）·Zbl 0589.68055号
[5] Gonczarowski，J。；Kleijn，H.C.M。；Rozenberg，G.，《选择性替换语法中的语法结构》，（技术报告TWI 82-19（1982），莱顿大学）·Zbl 0536.68066号
[6] Gonczarowski，J。；Warmuth，M.，《调度理论在形式语言理论中的应用》（技术报告84-15（1984），耶路撒冷希伯来大学）·Zbl 0602.68058号
[7] Harrison，M.A.，《形式语言理论导论》（1978），Addison-Wesley：Addison-Whesley Reading，马萨诸塞州·Zbl 0411.68058号
[8] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley：Addison-Whesley Reading，马萨诸塞州·Zbl 0196.01701号
[9] 琼斯，N.D。；Skyum，S.，在对数空间中识别确定性ETOL语言，Inform。和控制，35177-181（1977）·Zbl 0374.68050号
[10] 琼斯，N.D。；Skyum，S.，关于L系统的一些问题的复杂性，（Proc.4th Colloq.Automata，Lang.Programming.4th Collo q.Autotata，Lang.Programmming，Letter Notes in Computer Science[，Vol.52（1977），Springer-Verlag:Springer-Verlag New York/Berlin），301-308·Zbl 0363.68094号
[11] Kleijn，H.C.M。；Rozenberg，G.，《选择性重写的无上下文限制》，Theoret。计算。科学。，16, 237-269 (1981) ·Zbl 0469.68079号
[12] Van Leeuwen，J.，ETOL语言的成员资格问题是多项式完备的，Inform。过程。莱特。，3, 138-143 (1975) ·Zbl 0309.68065号
[13] Van Leeuwen，J.，上下文相关开发语言的磁带复杂性，J.Compute。系统科学。，11, 203-211 (1975) ·Zbl 0314.68017号
[14] Opatrny，J。；Culik，K.，下线语言识别和解析的时间复杂性，（Lindenmayer，A.；Rozenberg，G.，Automata，languages，Development（1976），北荷兰：北荷兰阿姆斯特丹），243-250
[15] 罗岑贝格，G。；Salomaa，A.，《L系统的数学理论》（1979），学术出版社：纽约学术出版社·Zbl 0365.68072号
[16] Salomaa，A.，《形式语言》（1973），学术出版社：纽约学术出版社·Zbl 0262.68025号
[17] Sudborough，I.H.，《论确定性无上下文语言的磁带复杂性》（Proc.8th Annul.ACM Sympos.Theory of Computing（1976）），141-148·Zbl 0379.68054号
[18] Sudborough，I.H.，《开发语言的时间和磁带复杂性》，（Proc.4th Colloq Automata，Lang.Programming，Proc.4st Colloq Automata，Lang.Programming-Letter Notes in Computer Science，Vol.52（1977），Springer-Verlag:Springer-Verlag Berlin/New York），509-523·Zbl 0357.68052号
[19] Sudborough，I.H.，上下文无关语言的一些扩展的成员关系问题的复杂性，国际。J.计算。数学。，6, 191-215 (1977) ·Zbl 0398.68037号
[20] Valiant，L.G.，《不到立方时间的一般无上下文识别》，J.Compute。系统科学。，10, 308-315 (1975) ·Zbl 0312.68042号
[21] Younger，D.H.，《及时识别和解析无上下文语言》（n^3），Inform。和控制，10189-208（1967）·Zbl 0149.24803号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。