×
马丁·普拉特克;弗里德里希·奥托

关于h词汇化重启自动机。 （英语） Zbl 1483.68180号

Csuhaj-Varjú，Erzsébet（编辑）等人，第15届国际自动机和形式语言会议论文集，2017年9月4-6日，AFL’17，匈牙利德布勒森。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）252219-233（2017）。
小结：根据之前对重启自动机的一些研究，我们引入了一个改进的模型——h词汇化重启自动机（h-RLWW）。我们认为该模型对计算语言学中词汇化句法的表达是有用的。我们将自动机理论中传统考虑的输入语言与所谓的基本的和h-正确语言，它们被范畴语法（隐式地）使用，而范畴语法是描述词汇化语法的原始工具。基本语言和h-proper语言使我们能够强调h-词汇化重启自动机的几个良好特性，它们适合通过约简对分析进行建模，并随后用于词汇化语法的类别开发。基于双向确定性单调重启自动机可以转化为等价的确定性单调RL-自动机（Marcus）上下文形式，我们得到了从识别上下文无关语言类CFL作为其输入语言的单调RLWW自动机到通过其h-proper语言识别CFL的确定单调h-RLWW自动机的转换。通过此转换，我们获得了具有完全正确性保持属性以及CFL中基于读/写窗口大小的无限层次结构。此外，我们考虑允许每个周期执行多个重写步骤的h-RLWW自动机，并且我们在CFL之上建立了另一个基于一个周期内可能执行的重写步骤数量的无限层次结构。相应的分离结果及其证明说明了具有（完全或循环）正确性保持性质的h-RLWW-自动机的透明性
关于整个系列，请参见[Zbl 1433.68013号].

引用于三文件

MSC公司：

65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
\textit{M.Plátek}和\textit{F.Otto}，电子。程序。西奥。计算。科学。（EPTCS）252、219——233（2017年；兹bl 1483.68180）
全文： arXiv公司 链接

参考文献：

[1] Alfred V.Aho和Jeffrey D.Ullman（1970）：双向确定性语言类的特征。J.计算。系统。科学。4，第523-538页，doi:10.1016/S0022-0000（70）80027-7·Zbl 0222.68034号 ·doi:10.1016/S0022-0000（70）80027-7
[2] Yehoshua Bar-Hillel（1953）：句法描述的准算术符号。语言29，第47-58页，doi:10.2307/410452·Zbl 0156.25402号 ·doi:10.2307/410452
[3] Karel Chulik II和Rina Cohen（1973）：LR-规则语法-LR（k）语法的扩展。J.计算。系统。科学。7，第66-96页，doi:10.1016/S0022-0000（73）80050-9·Zbl 0253.68014号 ·doi:10.1016/S0022-0000（73）80050-9
[4] 约翰·霍普克罗夫特（John E.Hopcroft）和杰弗里·乌尔曼（Jeffrey D.Ullman）：自动机理论、语言和计算导论。Addison-Wesley，雷丁，文学硕士（1979年）·Zbl 0426.68001号
[5] 彼得·扬查尔（Petr Jančar）、弗兰蒂塞克·马雷斯（František Mráz）、马丁·普莱特克（Martin Plátek）和约格·沃格尔（Jörg Vogel）（1995）：《重启自动机》（Restarting automata）。在Horst Reichel编辑：FCT’95，Proc。，LNCS 965，施普林格，柏林，第283-292页，doi:10.1007/3-540-60249-6 60·Zbl 1149.68052号 ·doi:10.1007/3-540-60249-660
[6] 彼得·扬查尔（Petr Jančar）、弗兰蒂舍克·米拉兹（František Mráz）、马丁·普莱特克（Martin Plátek）、约格·沃格尔（Jörg Vogel）（1997）：关于用重写重新启动自动机。在Gheorghe Pȃun，Arto Salomaa编辑：形式语言的新趋势，LNCS 1218，柏林斯普林格，第119-136页，doi:10.1007/3-540-62844-4 8·doi:10.1007/3-540-62844-48
[7] 彼得·扬查尔（Petr Jančar）、弗兰蒂塞克·马雷斯（František Mráz）、马丁·普莱特克（Martin Plátek）和约格·沃格尔（Jörg Vogel）（1999）：关于带重启操作的单调自动机。J.自动化。语言梳。4，第287-311页·Zbl 0942.68064号
[8] Aravind K.Joshi、K.Vijay-Shanker和David Weir（1991）：轻度上下文敏感gram-matical形式主义的收敛。Peter Sells、Stuart Shieber和Tom Wasow主编：《自然语言处理的基础问题》，麻省理工学院出版社，马萨诸塞州剑桥，第31-82页。
[9] Aravind K.Joshi和Yves Schabes（1997）：树邻接语法。在Grzegorz Rozenberg中，Arto Salomaa编辑：《形式语言手册》，第3卷，Springer，柏林，纽约，第69-123页·Zbl 0798.68089号
[10] Tomasz Jurdziánski、František Mráz、Friedrich Otto和Martin Plátek（2005）：单调确定性RL-自动机不需要辅助符号。Antonio Restivo编辑：Clelia De Felice，DLT 2005，Proc。，LNCS 3572，柏林斯普林格，第284-295页，doi:10.1007/11505877 25·Zbl 1132.68450号 ·doi:10.1007/11505877_25
[11] 托马斯·尤尔金斯基和弗里德里希·奥托（2007）：收缩重启自动机。实习生。《计算机科学基础》18，第361-385页，doi:10.1142/S0129054107004723·Zbl 1112.68087号 ·doi:10.1142/S0129054107004723
[12] Tomasz Jurdziánski、Friedrich Otto、František Mráz和Martin Plátek（2005）：确定性双向重启自动机和Marcus上下文文法。芬丹。通知。64，第217-228页·Zbl 1102.68043号
[13] Markéta Lopatková，Martin Plátek和Vladislav Kuboń（2005）：自由语序语言的语法建模：通过归约进行依赖性分析。在Václav Matoušek，Pavel Mautner，TomášPavelka编辑：TSD 2005，Proc。，LNCS 3658，施普林格，柏林，第140-147页，doi:10.1007/11551874 18·doi:10.1007/11551874_18
[14] Markéta Lopatková，Martin Plátek&Petr Sgall（2007）：面向功能生成描述的正式模型：通过简化和重启自动机进行分析。布拉格公牛。数学。语言学87，第7-26页。
[15] 所罗门·马库斯（1969）：《上下文语法》，《Revue Roum》。数学。Pures应用程序。第14页，第1473-1482页·Zbl 0193.32401号
[16] František Mráz（2001）：重启自动机的前瞻层次结构。J.自动化。语言梳。第6页，第493-506页·兹比尔1004.68091
[17] František Mráz，Friedrich Otto&Martin Plátek（2009）：词汇化RRWW自动机的单词扩展程度——一种新的衡量（无上下文）语言不确定性程度的方法。理论计算机科学410，第3530-3538页，doi:10.1016/j.tcs.2009.03.017·Zbl 1191.68399号 ·doi:10.1016/j.tcs.2009.03.017
[18] 弗里德里希·奥托（2003）：重启自动机及其与乔姆斯基层次结构的关系。在佐尔坦·埃西克，佐尔坦·布罗普编辑：DLT 2003，Proc。，LNCS 2710，施普林格，柏林，第55-74页，doi:10.1007/3-5440-45007-6 5·Zbl 1037.68088号 ·doi:10.1007/3-540-45007-65
[19] Friedrich Otto（2006）：重启自动机。Zoltánésik、Carlos Martín-Vide、Victor Mitrana编辑：《形式语言和应用的最新进展》，计算智能研究25，柏林斯普林格，第269-303页，doi:10.1007/978-3-540-33461-3 11·Zbl 1116.68044号 ·doi:10.1007/978-3-540-33461-3_11
[20] Friedrich Otto（2009）：从左到右的正则语言和双向重启自动机。RAIRO-Theor公司。信息申请。43，第653-665页。doi:10.1051/ita/2009013·Zbl 1176.68107号 ·doi:10.1051/ita/2009013
[21] Martin Plátek（2001）：双向重启自动机和j单调性。在Leszek Pacholski中，彼得·鲁日卡编辑：SOFSEM'01，Proc。，LNCS 2234，柏林斯普林格，第316-325页，doi:10.1007/3-540-45627-9 28·Zbl 1052.68628号 ·数字对象标识代码：10.1007/3-540-45627-9_28
[22] Martin Plátek、Friedrich Otto和František Mráz（2016）：关于h词汇化重启列表自动机。技术报告。可在http://www.theory.informatik.uni-kassel.de/projekte/RL2016v6.4.pdf。 ·Zbl 1462.68110号
[23] Grzegorz Rozenberg和Arto Salomaa，编辑（1997）：形式语言手册，第2卷：线性模式：背景和应用，柏林斯普林格，doi:10.1007/978-3662-07675-0·doi:10.1007/978-3-662-07675-0
[24] Natalie Schluter（2015）：使用受前瞻大小限制的辅助符号重新启动自动机。当然。J.计算。数学。92，第908-938页，doi:10.1080/00207160.2014.926005·兹伯利1328.68119 ·doi:10.1080/00207160.2014.926005
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。