卡莱斯·克鲁斯;阿德里亚·加斯科恩;吉勒姆·戈多伊 具有全局自反不定性约束的树自动机的空性和有限性。 （英语） Zbl 1314.68175号 J.汽车。推理 51，第4号，371-400（2013）. 摘要：近年来，人们考虑了树自动机的几种扩展。其中大多数与测试自动机评估的术语的某些子项的相等或不相等的能力有关。特别是，具有全局约束的树自动机能够根据子项的评估状态来测试子项的相等性和不相等性。空性问题对于这种自动机来说是可以判定的，但具有非初等时间复杂性，并且有限性问题仍然未知。在本文中，我们考虑了具有全局约束的树自动机的特殊情况，当约束是状态之间的不合格连接，并且不合格谓词被强制为自反的。这种限制在具有单键约束的XML定义上下文中非常重要。我们证明了这种自动机的空性和有限性在三指数时间内是可判定的。 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 05年3月 与逻辑问题相关的自动机和形式文法 关键词：树自动机;全局约束;不合格约束;决策问题 PDF格式BibTeX公司 XML格式引用 \textit{C.Creus}等人，J.Autom。推理51，No.4，371--400（2013；Zbl 1314.68175） 全文： 内政部 参考文献： [1] Baader，F.，Nipkow，T.：术语重写和所有这些。剑桥大学出版社，纽约（1998年）·Zbl 0948.68098号 [2] Barguñó，L.，Creus，C.，Godoy，G.，Jacquemard，F.，Vacher，C.：具有全局约束的树自动机的空性问题。摘自：计算机科学中的逻辑（LICS），第263-272页（2010年）·Zbl 1278.68130号 [3] Bogaert，B.，Tison，S.：树自动机中直接子rms的等式和不等式约束。摘自：计算机科学理论方面研讨会（STACS），第161-171页（1992年）·Zbl 1493.68183号 [4] Bojañczyk，M.、Muscholl，A.、Schwentick，T.、Segoufin，L.：关于数据树和XML推理的双变量逻辑。美国医学会期刊56（3），13:1-13:48（2009）·Zbl 1325.68078号 [5] Comon，H.、Dauchet，M.、Gilleron，R.、Jacquemard，F.、Löding，C.、Lugiez，D.、Tison，S.、Tommasi，M.：树自动机技术和应用（2007）。http://tata.gforge.inria.fr ·Zbl 1217.68131号 [6] Comon，H.，Jacquemard，F.：具有不合格约束的基本可约性和自动机。在：计算机科学理论方面研讨会（STACS），pp.151-162（1994）·Zbl 0941.68599号 [7] Comon，H.，Jacquemard，F.：地面还原性是EXPTIME-complete。收录于：《计算机科学中的逻辑》，第26-34页（1997年）·Zbl 1090.68047号 [8] Dauchet，M.，Caron，A.C.，Coquide，J.L.：求解约化性质的自动机。J.符号。计算。20(2), 215-233 (1995) ·Zbl 0843.68071号 ·doi:10.1006/jsco.1995.1048 [9] David，C.，Libkin，L.，Tan，T.：通过整数线性规划对数据树进行有效推理。In:ICDT，第18-29页（2011年） [10] Filiot，E.，Talbot，J.，Tison，S.：具有全局约束的树自动机。发现的国际期刊。计算。科学。21(4), 571-596 (2010) ·Zbl 1205.68199号 ·doi:10.1142/S012905411000743X [11] Jacquemard，F.、Klay，F.和Vacher，C.：刚性树自动机和应用。Inf.计算。209(3), 486-512 (2011) ·Zbl 1217.68131号 ·doi:10.1016/j.ic.2010.11.015 [12] Mongy，J.：noyaux revisuals d’arbres的转型。因为存在。法国里尔理工大学里尔信息基金实验室博士论文（1981年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。