×
马库斯·洛伊;塞巴斯蒂安·马内斯;曼弗雷德·施密特·沙乌

语法压缩树的参数约简和自动机求值。 （英语） Zbl 1246.68114号

J.计算。系统。科学。 78，第5期，1651-1669（2012）.
摘要：使用线性直线无上下文树语法可以方便地压缩树。这种语法推广了直线上下文无关字符串语法，这些语法被广泛用于开发直接在压缩结构上执行（无需事先解压缩）的算法。证明了每个线性直线无上下文树文法都可以在多项式时间内转换为一元（和线性）文法。如果每个非终结符最多使用一个上下文参数，则树语法是一元的。基于这一结果，提出了多项式时间算法来测试给定的（i）非确定性树自动机、（ii）具有兄弟约束的非确定性树自动机或（iii）非确定性树状行走自动机是否接受线性直线无上下文树文法表示的树。还表明，如果树文法是非确定性或非线性的，那么如果文法大小没有指数级放大，就无法减少其参数的数量。

引用于17文件

MSC公司：

68页30 编码和信息理论（压缩、压缩、通信模型、编码方案等）（计算机科学方面）
2012年第68季度 语法和重写系统

关键词：

直线程序;树压缩;树自动机;无上下文树文法

软件：

TreeRePair目录
PDF格式BibTeX公司 XML格式引用
\textit{M.Lohrey}等人，J.Compute。系统。科学。78，第5号，1651--1669（2012；Zbl 1246.68114）
全文： DOI程序

参考文献：

[1] Rytter，W.，《语法压缩、LZ编码和隐式输入的字符串算法》，（第31届国际自动机、语言和编程学术讨论会，ICALP？04）。第31届国际。自动化、语言和编程座谈会，ICALP’04，计算机课堂讲稿。科学。，第3142卷（2004），《施普林格：柏林施普林格》，15-27·Zbl 1099.68028号
[2] Charikar，M。；雷曼，E。；刘，D。；帕尼格拉希，R。；Prabhakaran，M。；Sahai，A。；Shelat，A.，最小语法问题，IEEE Trans。通知。理论，51，2554-2576（2005）·Zbl 1296.68086号
[3] 卡拉斯科萨，R。；科斯特·F。；加莱，M。；López，G.G.I.，《为最小的语法问题选择出现的单词》，（第四届国际语言与自动机理论与应用会议，LATA？10）。第四国际。语言与自动机理论与应用会议，LATA’10，计算机课堂讲稿。科学。，第6031卷（2010年），施普林格：施普林格柏林），154-165·Zbl 1284.68321号
[4] 卡宾斯基，M。；W.莱特。；Shinohara，A.，《带简短描述的字符串的高效模式匹配算法》，北欧J.Compute。，4, 172-186 (1997) ·Zbl 0874.68087号
[5] 宫崎骏，M。；Shinohara，A。；Takeda，M.，《基于直线程序的字符串改进模式匹配算法》，J.离散算法，1187-204（2000）
[6] Rytter，W.，《一维和二维压缩和完全压缩图案匹配》，Proc。IEEE，88，1769-1778（2000）
[7] Plandowski，W.，《在无上下文语言上测试语素的等价性》，（第二届欧洲算法研讨会，ESA’94）。第二届欧洲算法研讨会，ESA’94，计算机课堂讲稿。科学。，第855卷（1994），《施普林格：柏林施普林格》，460-470
[8] Lifshits，Y.，《处理压缩文本：可处理边界》，（第18届组合模式匹配年度研讨会，CPM？07）。第18届组合模式匹配年会，CPM’07，计算机课堂讲稿。科学。，第4580卷（2007），《施普林格：柏林施普林格》，228-240·Zbl 1138.68419号
[9] M.Schmidt-Schauß，G.Schnitger，直线压缩弦的快速等式测试，Frank report 45，Institute für Informatik，Fachbereich Informatik und Mathematik，J.W.Goethe-Universität，Frankfurt am Main，2011。；M.Schmidt-Schauß，G.Schnitger，直线压缩弦的快速等式测试，Frank report 45，Institute für Informatik，Fachbereich Informatik und Mathematik，J.W.Goethe-Universität，Frankfurt am Main，2011年·Zbl 1243.68324号
[10] Busatto，G。；M.Lohrey。；Maneth，S.，XML文档树的高效内存表示，Inf.Syst。，33, 456-474 (2008)
[11] M.Lohrey。；Maneth，S.，《语法压缩树上树自动机和XPath的复杂性》，Theoret。计算。科学。，363, 196-210 (2006) ·Zbl 1153.68402号
[12] Lamping，J.，最优lambda演算约简算法，（第17届美国计算机学会编程语言原理研讨会，POPL’90（1990），美国计算机学会出版社），16-30
[13] Lohrey先生。；Maneth，S。；Mennicke，R.，带修复的树结构压缩，（数据压缩会议，DCC 2011（2011），IEEE计算机学会出版社），353-362
[14] Buneman，P。；格罗赫，M。；Koch，C.，压缩XML的路径查询，（第29届超大数据库国际会议，VLDB’03（2003），Morgan Kaufmann），141-152
[15] M.Schmidt-Schauß，共享子结构术语的多项式平等测试，Frank report 21，Institute für Informatik，Fachbereich Informatik und Mathematik，J.W.Goethe-Universität，Frankfurt am Main，2005。；M.Schmidt-Schauß，共享子结构术语的多项式平等测试，Frank report 21，Institute für Informatik，Fachbereich Informatik und Mathematik，J.W.Goethe-Universität，Frankfurt am Main，2005。
[16] 费舍尔，D.K。；Maneth，S.，XML文档的结构选择性估计，（第23届国际数据工程会议，ICDE’07（2007），IEEE计算机社会出版社），626-635
[17] S.Maneth，T.Sebastian，《XML的快速和微型结构自我索引》，CoRR abs/1012.56962010。；S.Maneth，T.Sebastian，《XML的快速和微型结构自我索引》，CoRR abs/1012.56962010年。
[18] 加斯科恩，A。；Maneth，S。；Ramos，L.，压缩项的一阶统一，（第22届国际重写技术和应用会议，RTA 2011）。第22届国际。重写技术和应用会议，RTA 2011，LIPIcs，第10卷（2011），Schloss Dagstuhl-Leibniz Zentrum fuer Informatik），51-60·Zbl 1236.68129号
[19] 加斯科恩，A。；戈多伊，G。；Schmidt-Schauß，M.，压缩项的统一与匹配，ACM Trans。计算。日志。，12（2011），（电子版），26页·Zbl 1351.68128号
[20] 加斯科恩，A。；戈多伊，G。；Schmidt-Schauß，M.，《单叉树文法的统一》，（第20届国际重写技术与应用会议，RTAࢹ09。第20届国际。重写技术与应用会议，RTA’09，计算机课堂讲稿。科学。，第5595卷（2009年），《施普林格：柏林施普林格》，第365-379页·Zbl 1242.68132号
[21] 加斯科恩，A。；戈多伊，G。；Schmidt-Schauß，M.，压缩项的上下文匹配，（第23届IEEE计算机科学逻辑研讨会，LICS （2008），IEEE计算机社会出版社），93-102
[22] 利维，J。；施密特·沙乌（M.Schmidt-Schau）。；Villaret，M.，一元二阶统一的复杂性，SIAM J.Compute。，38, 1113-1140 (2008) ·Zbl 1166.03004号
[23] Bogaert，B。；Tison，S.，树自动机中直接子方根的等式和不等式约束（第九届计算机科学理论研讨会，STACS’92）。第九届计算机科学理论研讨会，STACS’92，计算机课堂讲稿。科学。，第577卷（1992年），施普林格：施普林格柏林），161-172·Zbl 1493.68183号
[24] 科蒙，H。；多切特，M。；吉列隆，R。；Jacquemard，F。；Löding，C。；Lugiez博士。；蒂森，S。；Tommasi，M.，《树自动机技术和应用》（2007），网址：
[25] 科蒙·隆德，H。；Jacquemard，F。；Perrin，N.，《具有内存、可见性和结构约束的树自动机》，（第十届国际软件科学和计算结构基础会议，FoSSaCS？07）。第十届国际。软件科学和计算结构基础会议，FoSSaCS’07，计算机课堂讲稿。科学。，第4423卷（2007），《施普林格：柏林施普林格》，168-182·兹比尔1195.68054
[26] 博扬奇克，M。；Colcombet，T.，树行走自动机不能识别所有的正则语言，SIAM J.Compute。，38, 658-701 (2008) ·Zbl 1172.68030号
[27] Bojanczyk，M.，Tree-walking automata（2008），《2008年LATA上作为教程呈现的调查》，网址：·Zbl 1156.68445号
[28] Samuelides先生。；Segoufin，L.，卵石树行走自动机的复杂性，（第16届国际计算理论基础研讨会，FCT’07）。第16届国际米兰。计算理论基础研讨会，FCT’07，计算机课堂讲稿。科学。，第4639卷（2007年），《施普林格：柏林施普林格》，458-469·Zbl 1135.68459号
[29] M.Lohrey。；Maneth，S。；Schmidt-Schauß，M.，语法压缩树中的参数约简，（第12届国际软件科学和计算结构基础会议，FOSSACS？09）。第12届国际米兰。软件科学和计算结构基础会议，FOSSACS’09，计算讲义。科学。，第5504卷（2009），《施普林格：柏林施普林格》，212-226·Zbl 1234.68182号
[30] 霍普克罗夫特，J.W。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley·Zbl 0426.68001号
[31] 霍普克罗夫特，J.E。；Motwani，R。；Ullman，J.D.，《自动机理论、语言和计算导论-国际版》（2003），Addison-Wesley
[32] Gécseg，F。；Steinby，M.，《树语言》（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第3卷（1997），Springer），1-68·Zbl 0396.68041号
[33] Courcelle，B.，用语言I表示树，Theoret。计算。科学。，6, 255-279 (1978) ·Zbl 0377.68040号
[34] Aho，A.V。；Ullman，J.D.，《无语境语法的翻译》，Inform。和控制，19439-475（1971）·Zbl 0244.68035号
[35] 恩格尔弗里特，J。；Hoogeboom，H.J。；Samwel，B.，用带不可见卵石的树行走传感器进行XML转换，（第26届数据库系统原理研讨会，PODS’07（2007），ACM出版社），63-72
[36] M.Fischer，《宏观类文法》，博士论文，哈佛大学，马萨诸塞州，1968年。；M.Fischer，《宏观类文法》，博士论文，哈佛大学，马萨诸塞州，1968年。
[37] 藤桥，A。；Kasai，T.，Spinal-formed context-free grammars，Theory Comput。系统。，第33页，第59-83页（2000年）·Zbl 0945.68100号
[38] 利维，J。；施密特·沙乌（M.Schmidt-Schau）。；Villaret，M.，有界二阶统一是NP-完全的（第17届国际术语改写和应用会议，RTA’06）。第17届国际术语改写与应用会议，RTA’06，计算机课堂讲稿。科学。，第4098卷（2006），《施普林格：柏林施普林格》，400-414·Zbl 1151.68450号
[39] 利维，J。；施密特·沙乌（M.Schmidt-Schau）。；Villaret，M.，《关于有界二阶统一和分层上下文统一的复杂性》，Log。J.IGPL，19763-789（2011）·Zbl 1252.68160号
[40] M.Saadi，Auswertung von Tree Walking Automaten auf kompimierten Daten，硕士论文，莱比锡大学，2009年。；M.Saadi，Auswertung von Tree Walking Automaten auf kompimierten Daten，硕士论文，莱比锡大学，2009年。
[41] Engelfriet，J。；Rozenberg，G。；Slutzki，G.，Tree传感器，L系统和双向机器，J.Compute。系统科学。，20, 150-202 (1980) ·Zbl 0426.68075号
[42] 戈多伊，G。；吉梅内斯，O。；拉莫斯，L。；阿尔瓦雷斯，C.，HOM问题是可判定的，（第42届ACM计算理论研讨会，STOC’10（2010），ACM出版社），485-494·Zbl 1293.68186号
[43] 巴古诺，L。；克鲁斯，C。；戈多伊，G。；Jacquemard，F。；Vacher，C.，具有全局约束的树自动机的空性问题，（Proc.LICS 2010（2010），IEEE Computer Society Press），263-272
[44] Filiot，E。；塔尔博特，J.-M。；Tison，S.，具有全局约束的树自动机，国际。J.找到。计算。科学。，21, 571-596 (2010) ·Zbl 1205.68199号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。