×
宫崎骏、高崎；Minamide、Yasuhiko

具有前瞻性的上下文无关语法。 （英语） Zbl 07405989号

Leporati，Alberto（编辑）等人，《语言和自动机理论与应用》。2021年3月1日至5日，第15届国际会议，LATA 2021，意大利米兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 213-225 (2021).
小结：我们引入了无上下文语法和前瞻。语法是上下文无关语法和解析表达式语法的扩展，因此我们可以统一处理这两种语法。为了适应lookahead，我们使用了一种带有lookaheed的语言，这是一组字符串对。我们将语法视为一个方程组，并通过空集迭代的极限给出了具有前瞻性的语言。语言类在并集、交集、补集以及弱连接和Kleene星下是封闭的。
关于整个系列，请参见[Zbl 1470.68022号].

MSC公司：

65年第68季度 形式语言和自动机

关键词：

无上下文文法；解析表达式语法；展望未来；句法谓词；正则表达式；形式语言理论；解析；指称语义学
PDF格式BibTeX公司 XML格式引用
\textit{T.Miyazaki}和\textit{Y.Minamide}，Lect。注释计算。科学。12638、213--225（2021；Zbl 07405989）
全文： 内政部

参考文献：

[1] Aho，AV，索引语法——上下文无关语法的扩展，J.ACM，15，4，647-671（1968）·Zbl 0175.27801号 ·数字对象标识代码：10.1145/321479.321488
[2] Autebert，J-M；伯斯特尔，J。；Boasson，L。；Rozenberg，G。；Salomaa，A.，《无上下文语言和下推自动机》，《形式语言手册》，111-174（1997），海德堡：施普林格·Zbl 0866.68057号 ·doi:10.1007/978-3-642-59136-53
[3] 巴拉什，M。；Okhotin，A.，《具有单边上下文规范的上下文无关文法的扩展》，Inf.Comput。，237, 268-293 (2014) ·Zbl 1360.68531号 ·doi:10.1016/j.ic.2014.03.003
[4] 巴拉什，M。；Okhotin，A.，《单边上下文线性文法及其自动机表示》，RAIRO Theor。信息申请。，49, 2, 153-178 (2015) ·Zbl 1328.68100号 ·doi:10.1051/ita/2015004
[5] Brzozowski，JA，正则表达式的导数，J.ACM，11，4，481-494（1964）·Zbl 0225.94044号 ·数字对象标识代码：10.1145/321239.321249
[6] 奇达，N。；Kuramitsu，K.，用无序选择解析表达式语法，J.Inf.Process。，25, 975-982 (2017) ·Zbl 1485.68126号
[7] Chomsky，N.，Schützenberger，M.：无上下文语言的代数理论。收录于：《计算机编程和形式系统》，第35卷，第118-161页。爱思唯尔（1963）·Zbl 0148.00804号
[8] Engelfriet，J.，《自上而下树型传感器与常规外观》，数学。系统。理论，10，1，289-303（1977）·Zbl 0369.68048号 ·doi:10.1007/BF01683280
[9] Ford，B.：解析表达式语法：基于识别的句法基础。摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，第111-122页。ACM（2004）·Zbl 1325.68120号
[10] 乔希，阿拉斯加州；利维，LS；Takahashi，M.，树附加语法，J.Compute。系统。科学。，10, 1, 136-163 (1975) ·Zbl 0326.68053号 ·doi:10.1016/S0022-0000（75）80019-5
[11] Kozen，D.，Kleene代数与测试，ACM Trans。程序。语言系统。，19, 3, 427-443 (1997) ·doi:10.1145/256167.256195
[12] Mascarenhas，F。；梅德罗斯，S。；Ierusalimschy，R.，《关于上下文无关文法和解析表达式文法之间的关系》，Sci。计算。程序。，89, 235-250 (2014) ·doi:10.1016/j.scico.2014.01.012
[13] Might，M.，Darais，D.，Spiewak，D.：用衍生物解析：一种功能性珍珠。摘自：第16届ACM SIGPLAN函数编程国际会议记录，第189-195页。ACM（2011）·Zbl 1323.68138号
[14] 宫崎骏，T。；Minamide，Y.，正则表达式的前视导数，J.Inf.Process。，27, 422-430 (2019)
[15] Morihata，A.，将带前瞻的正则表达式转换为有限状态自动机，计算。软质。，147-158年1月29日（2012年）
[16] Okhotin，A.，布尔文法，Inf.Compute。，194, 1, 19-48 (2004) ·Zbl 1073.68037号 ·doi:10.1016/j.ic.2004.03.006
[17] Parr，T.，Fisher，K.：LL（*）ANTLR解析器生成器的基础。摘自：第32届ACM SIGPLAN编程语言设计与实现会议记录，第425-436页（2011年）
[18] Sakuma，Y。；米那米，Y。；Voronkov，A.，《将正则表达式匹配转换为换能器》，J.Appl。逻辑，10，1，32-51（2012）·Zbl 1238.68052号 ·doi:10.1016/j.jal.2011.1003
[19] Stockmeyer，L.J.，Meyer，A.R.：需要指数时间的单词问题（初步报告）。摘自：第五届ACM计算机理论研讨会论文集，第1-9页。ACM（1973）·Zbl 0359.68050号
[20] Vardi，M.Y.：关系查询语言的复杂性。摘自：第14届ACM计算机理论研讨会论文集，第137-146页。ACM（1982年）
[21] Wotschke，D。；Brauer，W.，确定性和非确定性上下文无关语言的布尔闭包，GI Gesellschaft für Informatik e.V.，113-121（1973），海德堡：Springer，Heidelberg·Zbl 0271.68056号 ·doi:10.1007/978-3-662-41148-3_11
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。