×

混合局部和全局约束模平面理论的树自动机的可判定类。 (英语) Zbl 1278.68130号

对于某些应用程序,例如XML处理,为有限树自动机提供识别子树相等性的能力,同时保留一些重要的可判定性属性,这将是非常有利的。本文介绍的树自动机(简称为TABG)结合了两种先前考虑过的等式和不等式测试,即同级子树的局部比较和自动机在相同状态下到达的根子树之间的全局比较。此外,这些测试是按照平坦方程理论(即由某些简单类型的方程定义的理论)进行的。本文的主要定理表明,给定TABG识别的树语言是否为空是可以判定的。作者还考虑了TABG的一些变体。因此,他们表明,向TABG添加某些算术约束并不会增加其表达能力,并且对于识别无层次树的TABG来说,空性问题是可以判定的。最后,他们通过全局测试证明了树上一元二阶逻辑扩展的存在片段的可判定性,该扩展对应于树自动机。

MSC公司:

第68季度第45季度 形式语言和自动机
03B25号 理论和句子集的可决定性
05年3月 与逻辑问题相关的自动机和形式文法
08A70号 泛代数在计算机科学中的应用

软件:

廷布克
PDF格式BibTeX公司 XML格式引用