曼弗雷德·德罗斯特;佐尔坦，福尔öp;达维德·科什奥;福格勒、海科 后有限单调强双半群上加权树自动机的有限映像性质。 （英语） Zbl 07524445号 西奥。计算。科学。 919, 118-143 (2022). 摘要：我们考虑强双单子体上的加权树自动机（简称：wta）。如果一个wta\（\mathcal{A}\）识别的加权树语言\（[[\mathcal{A}]]\）具有有限映像，则它具有有限映像属性；此外，如果底层强双单元体的每个元素的\（[[mathcal{A}]]）下的preimage是可识别的树语言，则\（mathcal}A}）具有preimage属性。对于后有限单调强双单元体上的每个wta（mathcal{A}），我们证明了以下结果。根据（mathcal{A}）的结构性质，我们刻画了它是否具有有限映像性质。我们刻划了这些后有限单调强双单体，使得对于每个wta\（mathcal{A}\），可以判定\（mathcal{A{）是否具有有限映像属性。特别地，对于后有限单调半环上的wta，有限映象性质是可判定的。此外，我们证明了\（\mathcal{A}\）具有preimage属性。我们的所有结果也适用于加权字符串自动机。 引用于三文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：强双单纯形;后有限强双单子体;半环;加权树自动机;有限映像属性;可判定性 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人，Theor。计算。科学。919、118--143（2022；Zbl 07524445） 全文： 内政部 arXiv公司 参考文献： [1] Alexandrakis，A。；Bozapalidis，S.，加权文法和Kleene定理，Inf.过程。莱特。，24, 1, 1-4 (1987) ·兹比尔06216.8046 [2] Bauderon，M。；Courcelle，B.，《图形表达式和图形重写》，数学。系统。理论，20,183-127（1987）·Zbl 0641.68115号 [3] Borchartt，B。；Fülöp，Z。；加兹达格，Z。；Maletti，A.，具有多项式成本的树自动机的边界，J.Autom。语言梳。，10, 107-157 (2005) ·Zbl 1161.68511号 [4] Borchartt，B。；马莱蒂，A。；Šešelja，B。；特帕夫切维奇，A。；Vogler，H.，割集作为可识别的树语言，模糊集系统。，157, 1560-1571 (2006) ·Zbl 1092.68052号 [5] Borchart，B.，可识别树序列的泵引理和可判定性问题，Acta Cybern。，16, 4, 509-544 (2004) ·Zbl 1094.68046号 [6] Borchart，B.，《可识别树系列理论》（2005），德国德累斯顿大学：德国德累斯登大学博士论文 [7] 伯斯特尔，J。；Reutenauer，C.，树上可识别的形式幂级数，Theor。计算。科学。，18, 2, 115-148 (1982) ·Zbl 0485.68077号 [8] 伯斯特尔，J。；Reutenauer，Ch.，Rational Series及其语言，EATCS理论计算机科学专著，第12卷（1988），Springer-Verlag·Zbl 0668.68005号 [9] 科蒙，H。；道切特，M。；吉列隆，R。；Löding，C。；Jacquemard，F。；Lugiez，D。；蒂森，S。；Tommasi，M.，《树自动机技术和应用》（2008），在线阅读 [10] 乔伊里奇，M。；Droste，M。；Ignjatović，J。；Vogler，H.，强双螺线管上加权有限自动机的行列式，Inf.Sci。，180, 18, 3479-3520 (2010) ·Zbl 1205.68198号 [11] 库塞尔，B。；Engelfriet，J.，《图形结构和一元二阶逻辑：语言理论方法》，《数学及其应用百科全书》，第138卷（2012），剑桥大学出版社·Zbl 1257.68006号 [12] Droste，M。；Fülöp，Z。；科斯科，D。；Vogler，H.，加权树自动机在加性局部有限和后有限单调强双半群上的Crisp-determination是可判定的，（Jirásková，G.；Pighizini，G..形式系统的描述复杂性.形式系统描述复杂性，DCFS 2020。形式系统的描述复杂性。形式系统的描述复杂性，DCFS 2020，LNCS，第12442卷（2020），Springer Nature:Springer自然瑞士），39-51·Zbl 1496.68207号 [13] Droste，M。；Gastin，P.，《加权自动机和加权逻辑》，（Caires，L.；Italiano，G.F.；Monteiro，L.，Palamidessi，C.；Yung，M.，《自动机，语言和编程——第32届国际学术讨论会》，ICALP 2005。自动化、语言和编程——第32届国际学术讨论会。自动化，语言与编程——第32届国际学术讨论会，ICALP 2005，LNCS，第3580卷（2005），Springer-Verlag），513-525·Zbl 1084.03036号 [14] Droste，M。；Götze，D。；Märcker，S。；Meinecke，I.，赋值幺半群上的加权树自动机及其通过加权逻辑的特征，（Kuich，W.；Rahonis，G.，《计算机科学中的代数基础》，计算机科学代数基础，LNCS，第7020卷（2011），Springer），30-55·兹比尔1331.68127 [15] Droste，M。；Heusel，D。；Vogler，H.，树赋值幺半群上的加权无秩树自动机及其通过加权逻辑的表征，（Maletti，A.，代数信息学。代数信息学，CAI 2015。代数信息学。代数信息学，CAI 2015，LNCS，第9270卷（2015），Springer），90-102·Zbl 1465.68141号 [16] Droste，M。；Kuich，W.，《半环与形式幂级数》，（Droste，M.；Kuich（W.）；Vogler，H.，《加权自动机手册》，《理论计算机科学专著》，EATCS系列（2009），Springer-Verlag），3-28，第1章·Zbl 1484.68082号 [17] （Droste，M.；Kuich，W.；Vogler，H.，《加权自动机手册》。《加权自动机手册》，EATCS理论计算机科学专著（2009），施普林格出版社）·Zbl 1200.68001号 [18] Droste，M。；Meinecke，I.，平均和长期行为的加权自动机和加权MSO逻辑，Inf.Compute。，220-221, 44-59 (2012) ·Zbl 1279.68148号 [19] Droste，M。；Perevoshchikov，V.，《多维自动机和MSO逻辑》，理论计算。系统。，59, 231-261 (2016) ·Zbl 1356.68130号 [20] Droste，M。；Stüber，T。；Vogler，H.，强双螺线管上的加权有限自动机，Inf.Sci。，180, 1, 156-166 (2010) ·Zbl 1183.68337号 [21] Droste，M。；Vogler，H.，加权树自动机和加权逻辑，Theor。计算。科学。，366, 228-247 (2006) ·Zbl 1154.68068号 [22] Droste，M。；Vogler，H.，任意有界格上的加权自动机和多值逻辑，Theor。计算。科学。，418, 14-36 (2012) ·Zbl 1245.03060号 [23] 艾伦伯格，S.，《自动化、语言和机器——A卷，纯数学和应用数学》，第59卷（1974年），学术出版社·Zbl 0317.94045号 [24] 埃西克，Z。；Kuich，W.，《形式树系列》，J.Autom。语言梳。，8, 2, 219-285 (2003) ·Zbl 1089.68054号 [25] 埃西克，Z。；刘，G.，模糊树自动机，模糊集系统。，158, 1450-1460 (2007) ·Zbl 1123.68057号 [26] Engelfriet，J.，树自动机和树文法（2015年10月7日），奥胡斯大学数学研究所，计算机科学系：奥胡斯数学研究所（丹麦计算机科学系），另见 [27] 富勒普，Z。；科斯科，D。；Vogler，H.，强双单元体上加权树自动机的Crisp-determination，Discret。数学。西奥。计算。科学。，23, 1 (2021) ·Zbl 1496.68208号 [28] 富勒普，Z。；马莱蒂，A。；Vogler，H.，分配多算子幺半群上加权树自动机的Kleene定理，理论计算。系统。，44, 455-499 (2009) ·Zbl 1192.68408号 [29] Fülöp，Z。；Stüber，T。；Vogler，H.，多算子幺半群上加权树自动机的Büchi-like定理，理论计算。系统。，50，2，241-278（2012），在线发布28。2010年10月·Zbl 1280.03045号 [30] 富勒普，Z。；Vogler，H.，加权树自动机和树变换器，（Droste，M.；Kuich，W.；Vogler、H.，《加权自动机手册》（2009），Springer-Verlag），313-403，第9章·Zbl 1484.68085号 [31] Gécseg，F。；Steinby，M.，Tree Automata（2015年9月21日），Akadémiai Kiadó：布达佩斯 [32] Harrison，M.A.，形式语言理论导论（1978），Addison-Wesley·Zbl 0411.68058号 [33] 哈贝尔，A。；Kreowski，H.-J.，超边替换生成的超图语言的一些结构方面，（Brandenburg，F.J.；Vidal-Naquet，G.；Wirsing，M.，计算机科学理论方面年度研讨会。计算机科学理论部分年度研讨会，STACS 1987。计算机科学理论方面年度研讨会。计算机科学理论方面年度研讨会，STACS 1987，LNCS，第247卷（1987），Springer:Springer Berlin，Heidelberg），207-219·Zbl 0635.68077号 [34] 霍普克罗夫特，J.E。；莫塔维，R。；Ullman，J.D.，《自动机理论、语言和计算导论》（2007），皮尔逊，艾迪森·韦斯利 [35] Inagaki，Y。；Fukumura，T.，《论无语境语言的模糊意义描述》，301-328（1975），学术出版社：纽约学术出版社·Zbl 0315.68064号 [36] 克里曼，I。；南部伦巴第。；Mairesse，J。；Prieur，C.，从有限模糊max-plus自动机中判定无二义性和顺序性，Theor。计算。科学。，327, 3, 349-373 (2004) ·Zbl 1071.68035号 [37] Kuich，W。；Salomaa，A.，Semiring，Automata，Languages，EATCS理论计算机科学专著，第5卷（1986），Springer-Verlag·Zbl 0582.68002号 [38] Kuich，W.，《半环和形式幂级数：它们与形式语言和自动机的相关性》（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第1卷（1997），Springer-Verlag），609-677，第9章·Zbl 0866.68057号 [39] Kuich，W.，分配多算子幺半群上的线性方程组和自动机，（对普通代数的贡献12——第58届普通代数研讨会论文集。对普通代数贡献12——关于普通代数的第58届研讨会论文集，维也纳理工大学，1999年6月3日至6日（1999），Verlag Johannes Heyn），1-10岁·Zbl 0942.00022号 [40] Louscou Bozapalidou，O.，关于可识别树系列的一些评论，国际计算机杂志。数学。，70, 649-655 (1999) ·Zbl 0936.68068号 [41] 曼德尔，A。；Simon，I.，关于矩阵的有限半群，Theor。计算。科学。，5, 101-111 (1977) ·Zbl 0368.20049 [42] Radovanović，D.，强双单子体上的加权树自动机，Novi Sad J.Math。，40, 3, 89-108 (2010) ·兹比尔1265.68106 [43] Rahonis，G.，《模糊语言》（Droste，M.；Kuich，W.；Vogler，H.，《加权自动机手册》（2009），Springer-Verlag），481-517，第12章·Zbl 1484.68093号 [44] Restivo，A。；Reutenauer，C.，Rational语言和Burnside问题，Theor。计算。科学。，40, 13-30 (1985) ·Zbl 0597.68057号 [45] 萨卡罗维奇，J.，《自动机理论要素》（2009年），剑桥大学出版社·Zbl 1188.68177号 [46] Schützenberger，M.P.，关于自动机家族的定义，Inf.Control，4245-270（1961）·Zbl 0104.00702号 [47] Seidl，H.，关于有限树自动机的有限模糊度，信息学报。，26, 1, 527-542 (1989) ·Zbl 0683.68049号 [48] Salomaa，A。；Soittola，M.，计算机科学中形式幂级数、文本和专著的自动机理论方面（1978），Springer-Verlag·Zbl 0377.68039号 [49] Wechler，W.，《自动机和语言理论中的模糊概念》，Studien zur Algebra und Ihre Anwendungen（1978），Akademie-Verlag:Akademice-Verlag Berlin·Zbl 0401.94048号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。