埃里克·保罗 无二义max-plus树自动机的有限序列性。 （英语） Zbl 1517.68211号 理论计算。系统。 65，第4期，736-776（2021）. 摘要：我们证明了无二义max-plus树自动机有限序列问题的可判定性。如果每个树上最多有一个接受运行，则max-plus树自动机称为无二义自动机。有限序列性问题询问对于给定的max-plus树自动机，是否存在有限多个确定的max-pus树自动机。 引用于4文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：加权树自动机;max-plus树自动机;有限序列性;可判定性;歧义 PDF格式BibTeX公司 XML格式引用 \textit{E.Paul}，理论计算。系统。65，第4号，736-776（2021年；兹bl 1517.68211） 全文： 内政部 参考文献： [1] Alexandrakis，A。；Bozapalidis，S.，加权文法和Kleene定理，Inf.过程。莱特。，24, 1, 1-4 (1987) ·Zbl 0621.68046号 ·doi:10.1016/0020-0190（87）90190-6 [2] Allauzen，C。；Mohri，M.，测试双胞胎特性的高效算法，J.Autom。语言组合，8，2，117-144（2003）·兹比尔1089.68049 [3] Bala，S.：哪个有限模糊自动机识别有限序列函数？摘自：Chatterjee，K.，Sgall，J.（编辑）第38届计算机科学数学基础国际研讨会（MFCS）。Springer，《计算机科学讲义》，第8087卷，第86-97页（2013年）·Zbl 1398.68295号 [4] Bala，S.，Koniánski，A.，Martín-Vide，C.，Truthe，B.：表示有限序列函数的明确自动机。摘自：Dediu，A.（ed.）第七届语言与自动机理论与应用国际会议（LATA），Springer，计算机科学讲稿，第7810卷，第104-115页（2013）·Zbl 1377.68103号 [5] 贝亚尔，M。；纸箱，O。；Prieur，C。；Sakarovitch，J.，《平方传感器：决定功能性和顺序性的有效程序》，Theor。计算。科学。，292, 1, 45-63 (2003) ·Zbl 1064.68050号 ·doi:10.1016/S0304-3975（01）00214-6 [6] 伯斯特尔，J。；Reutenauer，C.，树上可识别的形式幂级数，Theor。计算。科学。，18, 115-148 (1982) ·Zbl 0485.68077号 ·doi:10.1016/0304-3975（82）90019-6 [7] 伯斯特尔，J。；Reutenauer，C.，Rational Series及其语言。EATCS理论计算机科学专著，第12卷（1988），柏林：施普林格，柏林·兹比尔0668.68005 [8] Björklund，J.，Drewes，F.，Zechner，N.，MartíN-Vide，C.，Truthe，B.：热带半环上加权树自动机的有效最佳树算法。收录：Dediu，A.，Formenti，E.（编辑）第九届语言与自动机理论与应用国际会议（LATA），Springer，计算机科学讲稿，第8977卷，第97-108页（2015）·Zbl 1423.68244号 [9] 布拉特纳，M。；Head，T.，识别自由子单体交叉点的自动机，Inf.Control，35，3，173-176（1977）·Zbl 0375.94022号 ·doi:10.1016/S0019-9958（77）90050-X [10] Büchse，M.，Fischer，A.：确定极值半域上加权树自动机的孪生性质。摘自：Drewes，F.，Kuhlmann，M.（eds.）《树自动机技术在自然语言处理中的应用第二次研讨会》（ATANLP），计算机语言学协会，第11-20页（2012） [11] Büchse，M。；May，J。；Vogler，H.，使用因子分解确定加权树自动机。自动化杂志，Lang.Comb。，15, 3-4, 229-254 (2010) ·Zbl 1345.68201号 [12] Daviaud，L.，Guillon，P.，Merlet，G.：热带矩阵的max-plus自动机和联合谱半径的比较。收录于：[27]，第19卷，第1-19:14页（2017）·兹比尔1441.68119 [13] Droste，M.，Kuich，W.，Vogler H.（编辑）：加权自动机手册。EATCS理论计算机科学专著。施普林格，柏林（2009）·Zbl 1200.68001号 [14] 埃西克，Z。；Kuich，W.，《形式树系列》，J.Autom。语言组合，8，2，219-285（2003）·Zbl 1089.68054号 [15] Filiot，E.，Jecker，I.，Lhote，N.，Pérez，G.A.，Raskin，J.：关于max-plus自动机的延迟和后悔决定。摘自：第32届ACM/IEEE计算机科学逻辑研讨会（LICS），第1-12页。IEEE计算机学会（2017）·Zbl 1457.68142号 [16] Fülöp，Z。，Vogler，H。：加权树自动机和树变换器。收录于：[13]，第9章，第313-403页（2009年）·Zbl 1484.68085号 [17] Hashiguchi，K.，《确定相对恒星高度和恒星高度的算法》，Inf.Compute。，78, 2, 124-169 (1988) ·Zbl 0668.68081号 ·doi:10.1016/0890-5401（88）90033-8 [18] Hashiguchi，K。；石黑浩，K。；Jimbo，S.，有限模糊金融自动机等价问题的可判定性，国际代数计算杂志。，12, 3, 445-461 (2002) ·Zbl 1007.68115号 ·doi:10.1142/S0218196702000845 [19] Kirsten，D.，终止莫赫里多项式模糊最小plus自动机算法的Burnside方法，Inf.Théor。申请。，42, 3, 553-581 (2008) ·Zbl 1155.68042号 ·doi:10.1051/ita/2008017 [20] Kirsten，D.，热带半环双胞胎属性的可判定性、不可判定性和PSPACE-完整性，Theor。计算。科学。，420, 56-63 (2012) ·Zbl 1282.68123号 ·doi:10.1016/j.tcs.2011.11.006 [21] Kirsten，D.，Lombardy，S.：判定多项式模糊min-plus自动机的明确性和序列性。收录于：Albers，S.，Marion，J.（编辑）第26届计算机科学理论方面国际研讨会（STACS），Schloss Dagstuhl-Leibniz-Zentrum für Informatik，Leibniz International Proceedings In Informatics（LIPIcs），第3卷，第589-600页（2009）·Zbl 1236.68172号 [22] 克里曼，I。；南部伦巴第。；梅雷斯，J。；Prieur，C.，从有限模糊max-plus自动机中判定无二义性和顺序性，Theor。计算。科学。，327, 3, 349-373 (2004) ·Zbl 1071.68035号 ·doi:10.1016/j.tcs.2004.02.049 [23] Komenda，J。；拉哈耶，S。；Boimond，J。；van den Boom，T.，离散事件系统历史中的Max-plus代数，《控制年鉴》，45，240-249（2018）·doi:10.1016/j.arcontrol.2018.04.004 [24] Koprowski，A。；Waldmann，J.，用于终止术语重写的Max/plus树自动机，《计算机学报》。，19, 2, 357-392 (2009) ·Zbl 1224.68041号 [25] Krob，D.，热带半环中带重数有理级数的等式问题是不可判定的，国际代数计算杂志。，4, 3, 405-426 (1994) ·Zbl 0834.68058号 ·doi:10.1142/S0218196794000063 [26] Kuich，W。；Salomaa，A.，半环，自动机，语言。EATCS理论计算机科学专著，第5卷（1986），柏林：施普林格，柏林·Zbl 0582.68002号 [27] Larsen，K.G.，Bodlaender，H.L.，Raskin，J（编辑）：第42届计算机科学数学基础国际研讨会，莱布尼茨国际信息学论文集，第83卷。Leibniz-Zentrum für Informatik，达格斯图尔宫（2017）·Zbl 1376.68011号 [28] Mazowiecki，F.，Riveros，C.：加权自动机的泵引理。In:Niedermeier R.，Valleée B.（eds.）第35届计算机科学理论方面研讨会（STACS），Schloss Dagstuhl-Leibniz-Zentrum füR Informatik，Leibniz International Proceedings In Informatics（LIPIcs），第96卷，第50:1-50:14页（2018）·Zbl 1487.68151号 [29] Mohri，M.，语言和语音处理中的Finite-state传感器，计算。语言学家。，23, 2, 269-311 (1997) [30] Mohri，M.：加权自动机算法。收录于：[13]，第6章，第213-254页（2009年）·Zbl 1484.68092号 [31] Paul，E.：有限模糊max-plus树自动机的等价性、明确性和序列性问题是可判定的。收录于：[27]，第53卷，第1-53:13页（2017年）·Zbl 1441.68128号 [32] Paul，E.：明确的max-plus树自动机的有限序列性。收录于：Niedermeier R.，Paul C.（编辑）第36届计算机科学理论方面国际研讨会（STACS），Schloss Dagstuhl-Leibniz-Zentrum füR Informatik，Leibniz International Proceedings In Informatics（LIPIcs），第126卷，pp.55:1-55:17（2019）·兹比尔1517.68212 [33] Petrov，S.：自然语言解析的潜在变量语法。收录于：《从粗到精的自然语言处理，自然语言处理的理论与应用》，施普林格出版社，第2卷，第7-46页（2012年）·Zbl 1230.68027号 [34] 密苏里州拉宾；Scott，DS，有限自动机及其决策问题，IBM J.Res.Dev.，3，2，114-125（1959）·Zbl 1461.68105号 ·doi:10.1147/rd.32.0114 [35] Sakarovitch，J.，关于有限自动机的一种构造，Theor。计算。科学。，204, 1-2, 205-231 (1998) ·Zbl 0913.68137号 ·doi:10.1016/S0304-3975（98）00040-1 [36] Sakarovitch，J.，《自动化原理》（2009），剑桥：剑桥大学出版社，剑桥·Zbl 1188.68177号 ·doi:10.1017/CBO9781139195218 [37] Salomaa，A。；Soittola，M.，形式幂级数的自动机理论方面。《计算机科学文本和专著》（1978），柏林：施普林格出版社，柏林·Zbl 0377.68039号 ·doi:10.1007/978-1-4612-6264-0 [38] Schützenberger，MP，关于自动机家族的定义，Inf.Control，4，2-3，245-270（1961）·Zbl 0104.00702号 ·doi:10.1016/S0019-9958（61）80020-X [39] Schützenberger，下院议员，苏尔-莱斯关系在西奥-莫尼德斯-利布雷斯中心。计算。科学。，3, 2, 243-259 (1976) ·Zbl 0358.68129号 ·doi:10.1016/0304-3975（76）90026-8 [40] Seidl，H.，关于有限树自动机的有限模糊度，信息学报。，26, 6, 527-542 (1989) ·兹伯利0683.68049 ·doi:10.1007/BF00263578 [41] Simon，I.：自由幺半群的有限子集。摘自：第19届计算机科学基础年会（FOCS），第143-150页。IEEE计算机学会（1978） [42] Simon，I.：热带半环中具有多重性的可识别集。摘自：Chytil，M.P.，Janiga，L.，Koubek，V.（eds.）第13届计算机科学数学基础国际研讨会（MFCS），Springer，《计算机科学讲义》，第324卷，第107-120页（1988）·Zbl 0656.68086号 [43] Waldmann，J.，《证明字符串重写终止的加权自动机》，自动化语言期刊。，12, 4, 545-570 (2007) ·Zbl 1149.68399号 [44] 韦伯，A。；Seidl，H.，关于有限自动机的模糊度，Theor。计算。科学。，88, 2, 325-349 (1991) ·Zbl 0738.68059号 ·doi:10.1016/0304-3975（91）90381-B 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。