论文部分内容阅读
文件重写的问题是在活跃 XML (AXML ) 数据交换的一个基本问题;通常有更高的复杂性。优先的工作集中于绳自动机理论。这篇论文试着由使用树自动机解决它。更精确,论文第一定义新树自动机,活跃 XML 树自动机(AXTA ) ,它能高效地代表一个 AXML 文件或 AXML 文件纲要生产的 AXML 文件的集合。然后,为构造 AXTA 自动机的一个算法也被建议。最后,为 AXML 文件重写决定算法的一多项式时间(PTIME ) 基于 AXTA 自动机被介绍。