数据自动机的一种扩展，用于捕获
An extension of data automata that captures XPath
摘要：
我们定义了一种新的自动机识别数据字或数据树的属性，并证明了自动机捕获所有的查询定义在正则表达式。我们表明，自动机理论的方法可以应用于回答可判定性和可表达性问题的可预测性。
英文摘要：
We define a new kind of automata recognizing properties of data words or data trees and prove that the automata capture all queries definable in Regular XPath. We show that the automata-theoretic approach may be applied to answer decidability and expressibility questions for XPath.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
