路易斯·巴尔古诺;卡莱斯·克鲁斯;吉勒姆·戈多伊;佛罗伦萨·杰克马尔;卡米尔·瓦彻 混合局部和全局约束模平面理论的树自动机的可判定类。 (英语) Zbl 1278.68130号 日志。方法计算。科学。 9,第2号,第1号论文,39页(2013). 对于某些应用程序,例如XML处理,为有限树自动机提供识别子树相等性的能力,同时保留一些重要的可判定性属性,这将是非常有利的。本文介绍的树自动机(简称为TABG)结合了两种先前考虑过的等式和不等式测试,即同级子树的局部比较和自动机在相同状态下到达的根子树之间的全局比较。此外,这些测试是按照平坦方程理论(即由某些简单类型的方程定义的理论)进行的。本文的主要定理表明,给定TABG识别的树语言是否为空是可以判定的。作者还考虑了TABG的一些变体。因此,他们表明,向TABG添加某些算术约束并不会增加其表达能力,并且对于识别无层次树的TABG来说,空性问题是可以判定的。最后,他们通过全局测试证明了树上一元二阶逻辑扩展的存在片段的可判定性,该扩展对应于树自动机。审核人:马格努斯·斯坦比(图尔库) 引用于7文件 MSC公司: 第68季度第45季度 形式语言和自动机 03B25号 理论和句子集的可决定性 05年3月 与逻辑问题相关的自动机和形式文法 08A70号 泛代数在计算机科学中的应用 关键词:树自动机;树语言;XML处理;符号约束;可判定性;一元二阶逻辑 软件:廷布克 PDF格式BibTeX公司 XML格式引用 \文本{L.Barguñó}等人,日志。方法计算。科学。9,第2号,第1号文件,第39页(2013年;兹bl 1278.68130) 全文: 内政部 arXiv公司