×
马尔特·布拉特曼;安德烈亚斯·马莱蒂

具有恒定加权扩展树传感器的组合物。 （英语） Zbl 07749889号

发现的国际期刊。计算。科学。 34，第6号，539-558（2023）.
总结：确认了[Lagotte，Maletti：Survey–Weighted extended top-down tree transformers–Part III：Composition.Proc.AFCS，LNCS 7020，p.272-308，Springer 2011]的推测11。研究表明，常加权扩展树形换能器与线性加权自上而下树状换能器的组成可以由单个加权扩展树状换换器计算。线性和自顶向下属性是句法的，而常量属性是语义的。在几个限制设置中研究了常数属性的可判定性。

引用于1文件

MSC公司：

68季度xx 计算理论
68泰克 人工智能
2016年xx月 概括

关键词：

加权树形换能器;自顶向下树形传感器;扩展树形传感器;作文;可判定性

软件：

打开Fst
PDF格式BibTeX公司 XML格式引用
\textit{M.Blattmann}和\textit{A.Maletti}，国际期刊发现。计算。科学。34，编号6，539--558（2023；Zbl 07749889）
全文： 内政部

参考文献：

[1] Allauzen，C.、Riley，M.、Schalkwyk，J.、Skut，W.和Mohri，M.，OpenFst——一个通用且高效的加权有限状态传感器库，Proc。第12届国际会议，《自动化的实现和应用》，编辑：Holub，J.和ƀ（check{\text{d}}）árek，J.，第4783卷（Springer，2007），第11-23页·Zbl 1139.68352号
[2] Arnold，A.和Dauchet，M.，变形与双变形，定理。计算。《科学》第20卷第4期（1982年）第33-93页·Zbl 0486.68072号
[3] Blattmann，M.和Maletti，A.，恒定加权扩展树换能器的组成，Proc。第25届国际语言理论发展会议，编辑：Moreira，N.和Reis，R.，第12811卷（Springer，2021），第66-77页·Zbl 07498716号
[4] M.Dauchet，Transductions inversibles de foráts，Thèse 3ème cycle，里尔大学（1975）。
[5] Droste，M.和Heusel，D.，《加权无秩树自动机的支持》，《基础信息》136（1-2）（2015）37-58·Zbl 1341.68088号
[6] Engelfriet，J.、Fülöp，Z.和Vogler，H.，自下而上和自上而下树系列转换，J.自动机，语言与组合学7（1）（2002）11-70·Zbl 1019.68056号
[7] Engelfriet，J.，《自上而下树型传感器与常规外观》，数学。系统。第10（1）条（1977）289-303·Zbl 0369.68048号
[8] Fülöp，Z.，Maletti，A.和Vogler，H.，加权扩展树传感器，《基础信息》111（2）（2011）163-202·Zbl 1236.68167号
[9] Fülöp，Z.和Maletti，A.，线性加权扩展自顶向下树传感器的合成闭包，Proc。第24届国际会议《自动化的实现和应用》，编辑：Hospodár，M.和Jirásková，G.，第11601卷（Springer，2019），第133-145页·Zbl 1434.68247号
[10] Fülöp，Z.和Vogler，H.，《句法导向语义——基于树传感器的形式模型》（Springer，1998）·Zbl 0913.68127号
[11] Fülöp，Z。和Vogler，H。，关于复制的树系列变换，计算系统理论36（3）（2003）247-293·Zbl 1062.68072号
[12] Fülöp，Z.和Vogler，H.，加权树自动机和树变换器，《加权自动机手册》，编辑Droste，M.，Kuich，W.和Vogler，H.（Springer，2009），第313-403页·Zbl 1484.68085号
[13] Gécseg，F.和Steinby，M.，《树自动机》（Akadémiai Kiadó，布达佩斯，1984年）。第二版可在https://arxiv.org/abs/1509.06233。 ·Zbl 0537.68056号
[14] Gécseg，F.和Steinby，M.，《树语言，形式语言手册》，编辑：Rozenberg，G.和Salomaa，A.（Springer，1997），第1-68页·Zbl 0866.68057号
[15] 戈兰，J.S.，《半环及其应用》（Kluwer学术出版社，1999年）·Zbl 0947.16034号
[16] Graehl，J.、Knight，K.和May，J.，《训练树变换器》，计算语言学34（3）（2008）391-427。
[17] Hanneforth，T.、Maletti，A.和Quernheim，D.，推动加权树自动机，计算机科学中的逻辑方法14（1:5）（2018）1-16·Zbl 1390.68394号
[18] Hebisch，U.和Weinert，H.J.，《半环-计算机科学中的代数理论和应用》（世界科学出版社，1998年）·Zbl 0934.16046号
[19] Kirsten，D.，《无零和交换半环上可识别级数的支持是可识别的》，《控制论学报》20（2）（2011）211-221·Zbl 1265.68103号
[20] Knight，K.和Graehl，J.，用于自然语言处理的概率树转换器概述，Proc。第六届国际会议，《智能文本处理和计算语言学》，编辑Gelbukh，A.F.，第3406卷（Springer，2005），第1-24页。
[21] Koehn，P.，《统计机器翻译》（剑桥大学出版社，2010年）·兹比尔1202.68446
[22] Kuich，W.，《树木传感器和正式树木系列》，《控制学报》14（1）（1999）135-149·Zbl 0926.68063号
[23] Lagotte，A.和Maletti，A.，《调查：加权扩展自顶向下树传感器——第三部分：组成》，Proc。计算机科学代数基础研讨会，编辑：Kuich，W.和Rahonis，G.，第7020卷（Springer，2011年），第272-308页·Zbl 1230.68135号
[24] Maletti，A.、Graehl，J.、Hopkins，M.和K.K.，《扩展自顶向下树传感器的力量》，SIAM J.Compute.39（2）（2009）410-430·Zbl 1200.68257号
[25] Maletti，A.，扩展自顶向下树传感器的组成，Inform。计算206（9-10）（2008）1187-1196·Zbl 1154.68075号
[26] May，J.、Knight，K.和Vogler，H.，通过加权树传感器级联进行有效推理，Proc。《计算语言学会议协会年鉴》第48期，编辑：Hajić，J.、Carberry，S.、Clark，S.和Nivre，J.（ACL，2010），第1058-1066页。
[27] Mohri，M.、Pereira，F.和Riley，M.，语音识别中的加权有限状态传感器，《计算机语音与语言》16（1）（2002）69-88。
[28] Rounds，W.C.，树上的映射和语法，数学。系统。第4（3）条（1970）257-287·Zbl 0203.30103号
[29] Thatcher，J.W.，广义^2序列机器映射，J.Compute。系统。科学4（4）（1970）339-367·Zbl 0198.03303号
[30] Thatcher，J.W.，《树自动机：非正式调查》，《计算理论的潮流》，Aho，A.V.编（普伦蒂斯·霍尔，1973），第143-172页。
[31] Wang，H.，关于半环的性质，休斯顿数学杂志23（3）（1997）391-405·Zbl 0899.16027号
[32] Yamada，K.和Knight，K.，基于句法的统计机器翻译解码器，Proc。《计算语言学会议协会》第40年版，Isabelle，P.、Charniak，E.和Lin，D.编辑（ACL，2002），第303-310页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。