马丁·普拉特克;弗里德里希·奥托;弗朗蒂舍克先生 关于h-词汇化重启列表自动机。 （英语） Zbl 1462.68110号 J.自动化。语言梳。 25，编号2-3，201-234（2020）. 小结：在对重新启动列表自动机（RLA）进行了一些前期研究之后，我们将重点放在一个广义和精化的模型上，即h-词汇化重新启动列表自动机（hLxRLA），它有助于在计算语言学中表达词汇化语法的属性。我们提出了hLxRLA的几个子类，并提供了Chomsky层次结构的一些变体和扩展，即Chomski层次结构的h词汇化变体。我们将自动机理论中传统考虑的RLA的输入语言与hLxRLA的所谓基本和适当的语言进行了比较，后者用于定义本地化的句法分析。h-词典化的句法分析使我们能够强调h-词汇化重启自动机（hRLWW）的几个良好的句法特性。我们提出了一种转换，从识别无上下文语言（CFL）作为输入语言的单调RLWW自动机到通过基本语言和h-真语言计算整个类CFL的h-词典化句法分析的确定单调hRLWW-自动机。通过这种转换，我们获得了几种类型的确定性hRLWW-自动机和hLxRLA-自动机，它们涵盖了CFL的h-词汇化句法分析，并且满足完全强正确性保持性质。 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：重新启动列表自动机;h-词汇化语言;h-词汇化句法分析;完全强正确性保持性质;扩展的Chomsky层次 PDF格式BibTeX公司 XML格式引用 \textit{M.Plátek}等人，J.Autom。语言梳。25，编号2-3201-234（2020；兹bl 1462.68110） 全文： 链接 参考文献： [1] A.V.Aho，J.E.Hopcroft，J.D.Ullman，《翻译通论》。数学系统理论3（1969），193-221·Zbl 0175.00803号 [2] 乔姆斯基，语言描述的三种模型。IRE信息理论汇刊2（1956），113-124·Zbl 0156.25401号 [3] N.Chomsky，语法的形式属性。收录：D.Luce，R.R.Bush，E.Galanter（编辑），《数学心理学手册》。第二卷，John Wiley and Sons，Inc.，1963年，第323-418页·Zbl 0156.25303号 [4] 乔姆斯基，句法结构。第二版，Mouton de Gruyter，柏林，纽约，2002年·Zbl 0052.24706号 [5] M.P.Chytil、M.Plátek、J.Vogel，关于乔姆斯基等级制度的注释。EATCS27（1985），23-30。 [6] J.Hajić、J.Panevová、E.Hajičova、P.Sgall、P.Pajas、J.ŠtěPánek、J.Havelka、M.Mikulová、Z.abokrtskĝ、M.Ševíková-Razímová，布拉格依赖关系树库2.0。语言数据联合会，费城，2006年。 [7] J.E.Hopcroft，J.D.Ullman，《自动机理论、语言和计算导论》。Addison-Wesley，雷丁，文学硕士，1979年·Zbl 0426.68001号 [8] P.Jančar、F.Mráz、M.Plátek、J.Vogel，《重启自动机》。收录于：H.Reichel（编辑），《计算理论基础》，第十届国际研讨会，FCT’95，德累斯顿，1995年8月22日至25日，论文集。LNCS 965，柏林施普林格，1995283-292·Zbl 1149.68052号 [9] P.Jančar，F.Mráz，M.Plátek，J.Vogel，关于带重启操作的单调自动机。自动化杂志，语言与组合学4（1999），287-311·Zbl 0942.68064号 [10] P.Jančar，M.Plátek，J.Vogel，广义线性列表自动机。收录于：P.Vojtáš（编辑），ITAT 2004，信息技术-应用与理论，信息技术理论与实践研讨会，会议录，科学院计算机科学系，Pavol JozefŠafárik大学，斯洛伐克，2004年9月。Universita P.J.Šafárika v Košiciach，2005年，97-105。 [11] A.K.Joshi，Y.Schabes，树邻接文法。收录于：G.Rozenberg，A.Salomaa（编辑），《形式语言手册》。第3卷，施普林格，柏林，纽约，1997年，69-123·Zbl 0798.68089号 [12] A.K.Joshi，K.Vijay-Shanker，D.Weir，轻度上下文敏感语法形式的收敛。参见：P.Sells、S.Shieber、T.Wasow（编辑），《自然语言处理的基础问题》。麻省理工学院出版社，马萨诸塞州剑桥，1991年，31-82。 [13] T.Jurdziñski，F.Otto，《收缩重启自动机》。国际计算机科学基础杂志18（2007），361-385·Zbl 1112.68087号 [14] T.Jurdziñski、F.Otto、F.Mráz、M.Plátek，《确定性双向重启自动机和马库斯上下文文法》。《基础信息学》64（2005），217-228·Zbl 1102.68043号 [15] M.Lopatková，M.Plátek，V.Kuboň，自由语序语言的语法建模：通过约简进行依赖性分析。收录于：V.Matoušek、P.Mautner、T.Pavelka（编辑），《文本、演讲和对话，第八届国际会议，2005年TSD，捷克共和国Karlovy Vary，2005年9月12日至15日，会议记录》。LNCS 3658，柏林斯普林格，2005年，140-147。 [16] M.Lopatková，M.Plátek，P.Sgall，《走向功能生成描述的形式化模型：通过简化和重启自动机进行分析》。布拉格数学语言学公报87（2007），7-26。 [17] S.Marcus，上下文语法。Revue Roumaine de Mathématique Pures et Appliques（1969），1473-1482。 [18] F.Mráz，F.Otto，M.Plátek，词汇化RRWW自动机的单词扩展程度-一种衡量（无上下文）语言不确定性程度的新方法。理论计算机科学410（2009），3530-3538·Zbl 1191.68399号 [19] F.Mráz，F.Otto，M.Plátek，通过保持正确性的计算来描述LR语言。作者：R.Freund、M.HospodáR、G.Jirásková、G.Pighizini（编辑），第十届非经典自动模型与应用研讨会，斯洛伐克科希策，2018年8月21日至22日，会议记录。books@ocg.at332，《计算机报》，2018年，第149-164页。 [20] F.Mráz，M.Plátek，M.Procházka，《关于重启自动机的特殊形式》。《语法》2（1999）3，223-233·Zbl 0967.68098号 [21] F.Otto，重启自动机。收录于：Z.Esik，C.Martín-Vide，V.Mitrana（编辑），《形式语言和应用的最新进展》。计算智能研究25，柏林施普林格，2006，269-303·Zbl 1116.68044号 [22] F.Otto，从左到右的正则语言和双向重启自动机。RAIRO-理论信息学与应用43（2009），653-665·Zbl 1176.68107号 [23] M.Plátek，双向重启自动机和j-单调性。L.Pacholski，P.Ruíička（eds.），SOFSEM 2001:信息学理论与实践，第28届信息学理论和实践当前趋势会议，Piešťany，斯洛伐克共和国，2001年11月24日至12月1日，会议记录。LNCS 2234，柏林施普林格，2001，316-325·Zbl 1052.68628号 [24] M.Plátek，F.Otto，《h词汇化重启自动机》。收录于：E.Csuhaj-Varjú，P.Dömösi，G.Vaszil（编辑），《第十五届自动控制与形式语言国际会议论文集》，AFL 2017。EPTCS 252，开放出版协会，2017年，219-233·Zbl 1483.68180号 [25] M.Plátek，F.Otto，F.Mráz，《h词汇化自动机与h句法分析》。收录：J.Hlavá_cová（编辑），《第17届信息技术会议记录》·Zbl 1250.68173号 [26] M.Plátek，F.Otto，F.Mráz，《关于h-Lexicalized Restarting List Automata》。技术报告，Fachbereich Elektrotechnik/Informatik，卡塞尔大学，2017年·Zbl 1250.68173号 [27] M.Plátek，J.Vogel，确定性列表自动机和擦除图。布拉格数学语言学公报45（1986），27-50·Zbl 0589.68057号 [28] D.J.Rosenkrantz，无上下文文法的矩阵方程和范式。ACM14期刊（1967），501-507·Zbl 0148.25102号 [29] 英国。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。