×
乔斯特·恩格尔弗里特;佐尔坦，福尔öp;安德烈亚斯·马莱蒂

线性扩展自顶向下树换能器的合成闭包。 （英语） Zbl 1369.68252号

理论计算。系统。 60，第2期，129-171（2017）.
本文研究的扩展自顶向下树传感器不同于标准模型，因为它们可以一步处理输入树的较大片段，而不仅仅是单个符号。这种泛化已经被发现是有用的，特别是在语法导向的机器翻译的应用中。这里考虑的传感器是线性的，即没有规则创建输入树子树的多个副本，它们被表示为同步语法，并行生成输入树和输出树。线性扩展自顶向下树变换器定义的树变换的l-XT类的扩展l-XT（^{mathrm R}）是通过允许一种形式的正则look-ahead获得的。这两个基本类的几个子类是通过对传感器施加（varepsilon）-自由性、严格性和不可删除性限制的一些组合而获得的。
对于任何包含所有单位变换的树变换类，（mathcal{C}）（（n\geq1））的（n）成员的关系组合类（mathcal{C}^n）形成了一个升序层次结构（mathcali{C}\subseteq\mathcal}C}^2\subseteq\mathcal{C}^3\substeq\ldots）。由于复杂树变换可以定义为简单树变换的组合，因此所使用的树变换的类（mathcal{C}）最好在组合下闭合，即，（mathcal{C}^2\substeq\mathcal}），或者至少是（mathcall{C}{n+1}=mathcal｛C}^n）的一些小值\（n\）。对于上面提到的一些类，合成层次结构是已知的，在本文中，作者解决了其余的情况。事实证明，没有一个类在组合下是封闭的，但大多数无（varepsilon）换能器类产生有限层次。作者确定了有限层次的长度，并且他们还展示了不同层次之间的许多关系。
审核人：马格努斯·斯坦比（图尔库）

引用于2文件

MSC公司：

65年第68季度 形式语言和自动机
2012年第68季度 语法和重写系统

关键词：

扩展自顶向下树形传感器;合成层次结构;同步语法;树双态;树变换
PDF格式BibTeX公司 XML格式引用
\textit{J.Engelfriet}等人，《理论计算》。系统。60，第2号，129--171（2017；Zbl 1369.68252）
全文： 内政部 arXiv公司

参考文献：

[1] Arnold，A.，Dauchet，M.：为存在而反转的转导。里尔大学M.Dauchet（1975）
[2] Arnold，A.，Dauchet，M.：为存在而进行的双翻译。收录于：ICALP，第74-86页。爱丁堡大学出版社（1976）·Zbl 0363.68104号
[3] Arnold，A.，Dauchet，M.：Morphismes et bimorphimes d’arbres。理论。计算。科学。20(1), 33-93 (1982) ·Zbl 0486.68072号 ·doi:10.1016/0304-3975（82）90098-6
[4] Chiang，D.：同步语法导论。包含：ACL。国际计算语言学协会。K.K.Knight（2006）教程的一部分·Zbl 0335.68061号
[5] Dauchet，M.：Transductions de for the its-岩浆双晶。里尔大学总理（1977年）·Zbl 0382.68062号
[6] Engelfriet，J.：自下而上和自上而下的树转换——比较。数学。系统理论9（3），198-231（1975）·Zbl 0335.68061号 ·doi:10.1007/BF01704020
[7] Engelfriet，J.：具有常规外观的自顶向下树传感器。数学。系统理论10（1），289-303（1977）·Zbl 0369.68048号 ·doi:10.1007/BF01683280
[8] Engelfriet，J.：传感器的三个层次。数学。系统论15（2），95-125（1982）·Zbl 0509.68078号
[9] Engelfriet，J.，Maneth，S.：线性尺寸增加的宏树转换是MSO定义的。SIAM J.计算。32(4), 950-1006 (2003) ·Zbl 1029.68090号 ·doi:10.1137/S0097539701394511
[10] Engelfriet，J.、Schmidt，E.M.：IO和OI I.J.计算。系统科学。15(3), 328-353 (1977) ·Zbl 0366.68053号 ·doi:10.1016/S0022-0000（77）80034-2
[11] Fülöp，Z.，Maletti，A.：树传感器的链接定理。提交的手稿；网址：http://www.inf.u-szeged.hu/fulop/publ/linking.pdf (2014) ·Zbl 1354.68154号
[12] Fülöp，Z.，Maletti，A.，Vogler，H.：保持同步树替换文法的可识别性。收件人：ATANLP。ACL，第1-9页（2010年）·Zbl 1029.68090号
[13] Fülöp，Z.，Maletti，A.，Vogler，H.：加权扩展树传感器。芬丹。通知。111(2), 163-202 (2011) ·兹比尔1236.68167
[14] Fülöp，Z.，Vogler，H.：基于树传感器的句法导向语义形式模型。EATCS理论专著。计算。科学。斯普林格（1998）·Zbl 0913.68127号
[15] Gécseg，F.，Steinby，M.：树自动机。布达佩斯Akadémiai Kiadó（1984）第二版，网址：arXiv:1509.06233·Zbl 0198.03303号
[16] Gécseg，F.，Steinby，M.：树语言。收录：Rozenberg，G.，Salomaa，A.（编辑）《形式语言手册》。第1章，第3卷，第1-68页。施普林格（1997）·Zbl 1499.68177号
[17] Graehl，J.，Hopkins，M.，K.，Maletti，A.：扩展自顶向下树传感器的威力。SIAM J.计算。39（2），410-430（2009）·Zbl 1200.68257号 ·doi:10.1137/070699160
[18] Graehl，J.，K.，May，J.：训练树传感器。计算。语言学家。34(3), 391-427 (2008) ·doi:10.1162/coli.2008.07-051-R2-03-57
[19] K.奈特、J.格雷尔：自然语言处理概率树变换器概述。收录：CICLing，LNCS，第3406卷，第1-24页，Springer（2005）
[20] Lemay，A.、Maneth，S.、Niehren，J.：自顶向下XML转换的学习算法。输入：PODS。ACM，第285-296页（2010年）·Zbl 0369.68048号
[21] Maletti，A.：扩展自顶向下树传感器的组成。Inf.计算。206(9-10), 1187-1196 (2008) ·Zbl 1154.68075号 ·doi:10.1016/j.ic.2008.03.019
[22] May，J.、K.K.、Vogler，H.：通过加权树传感器级联进行有效推理。包含：ACL，第1058-1066页（2010年）·Zbl 0509.68078号
[23] Rounds，W.C.：树上的映射和语法。数学。系统理论4（3），257-287（1970）·Zbl 0203.30103号 ·doi:10.1007/BF01695769
[24] Thatcher，J.W.：广义2序列机器图。J.计算。系统科学。4(4), 339-367 (1970) ·兹比尔0198.03303 ·doi:10.1016/S0022-0000（70）80017-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。