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

语法压缩树中的参数约简。 （英语） Zbl 1234.68182号

de Alfaro，Luca（编辑），软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504212-226（2009）。
摘要：使用线性直线无上下文树语法可以方便地压缩树。此类文法概括了直线无上下文字符串文法，这些文法广泛用于开发直接在压缩结构上执行的算法（无需事先解压缩）。证明了每个线性直线无上下文树文法都可以在多项式时间内转换为一元（和线性）文法。如果每个非终结符最多使用一个上下文参数，则树语法是一元的。基于这一结果，提出了一种多项式时间算法，用于测试具有兄弟约束的给定不确定树自动机是否接受线性直线无上下文树文法给出的树。研究表明，如果树文法是非确定性或非线性的，那么如果文法大小没有指数级放大，就无法减少它们的参数数量。
关于整个系列，请参见[Zbl 1157.68009号].

引用于三文件

MSC公司：

2012年第68季度 语法和重写系统
68页30 编码和信息理论（压缩、压缩、通信模型、编码方案等）（计算机科学方面）
PDF格式BibTeX公司 XML格式引用
\textit{M.Lohrey}等人，Lect。注释计算。科学。5504212--226（2009年；Zbl 1234.68182）
全文： 内政部

参考文献：

[1] Bogaert，B.，Tison，S.：树自动机中直接子rms的等式和不等式约束。收录：Finkel，A.，Jantzen，M.（编辑）STACS 1992。LNCS，第577卷，第161-171页。斯普林格，海德堡（1992）·doi:10.1007/3-540-55210-3_181
[2] Buneman，P.，Grohe，M.，Koch，C.：压缩XML的路径查询。收录于：VLDB 2003，第141-152页。Morgan Kaufmann，旧金山（2003）
[3] Busatto，G.、Lohrey，M.、Maneth，S.：XML文档树的高效内存表示。信息系统33（4-5），456-474（2008）·Zbl 05353633号 ·doi:10.1016/j.is.2008.01.004
[4] Comon-Lundh，H.，Dauchet，M.，Gilleron，R.，Jacquemard，F.，Löding，C.，Lugiez，D.，Tison，S.，Tommasi，M.：树自动机技术和应用（2007），http://www.grappa.univ-lille3.fr/tata网站
[5] Comon-Lundh，H.，Jacquemard，F.，Perrin，N.：具有内存、可见性和结构约束的树自动机。收录：Seidl，H.（编辑）FOSSACS 2007。LNCS，第4423卷，第168-182页。斯普林格，海德堡（2007）·Zbl 1195.68054号 ·doi:10.1007/978-3-540-71389-0_13
[6] Engelfriet，J.、Rozenberg，G.、Slutzki，G.：树传感器、L系统和双向机器。J.公司。系统。科学。 20, 150–202 (1980) ·Zbl 0426.68075号 ·doi:10.1016/0022-0000（80）90058-6
[7] 费舍尔，M.：宏观产品语法。马萨诸塞州哈佛大学博士论文（1968年5月）
[8] Fujiyoshi，A.，Kasai，T.：自旋形式的上下文无关树文法。理论计算。系统。 33(1), 59–83 (2000) ·Zbl 0945.68100号 ·doi:10.1007/s002249910004
[9] Gascón，A.，Godoy，G.，Schmidt-Schauß，M.：压缩术语的上下文匹配。在：LICS 2008，第93–102页。IEEE计算机学会出版社，洛斯阿拉米托斯（2008）
[10] Levy，J.，Schmidt-Schauß，M.，Villaret，M.:有界二阶统一是NP-完全的。收录：Pfenning，F.（编辑）RTA 2006。LNCS，第4098卷，第400-414页。斯普林格，海德堡（2006）·Zbl 1151.68450号 ·doi:10.1007/11805618_30
[11] Lohrey，M.，Maneth，S.：语法压缩树上树自动机和XPath的复杂性。西奥。计算。科学。 363(2), 196–210 (2006) ·Zbl 1153.68402号 ·doi:10.1016/j.tcs.2006.07.024
[12] Plandowski，W.：测试无语境语言中的语素等价性。收录：van Leeuwen，J.（编辑）ESA 1994。LNCS，第855卷，第460-470页。斯普林格，海德堡（1994）·doi:10.1007/BFb0049431
[13] Rytter，W.：语法压缩、LZ编码和带有隐式输入的字符串算法。收录人：Díaz，J.、Karhumäki，J.，Lepistö，A.、Sannella，D.（编辑）ICALP 2004。LNCS，第3142卷，第15-27页。斯普林格，海德堡（2004）·Zbl 1099.68028号 ·doi:10.1007/978-3-540-27836-85
[14] Schmidt-Schauß，M.：共享子结构项的多项式等式检验。《技术报告21》，德国法兰克福大学信息研究所，J.W.Goethe-Universität Frankfurt am Main（2005）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。