摘要：对数据语言中的字符串和树的位置进行标志，其标志来自有限字母表，数据值来自无限字母表。在有限字母表上扩展了自动机和逻辑，用于识别数据语言，包括字符串和树的情况。在本文中，我们描述并比较了这些模型的复杂性和表达能力，以了解哪些模型更适合作为正则模型的候选者。
作者：Loris D'Antoni
论文ID：1208.5980
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-08-30
PDF 下载： 英文版 中文版pdf翻译中