达尔·齐利奥，西尔瓦诺；丹尼斯·卢吉兹 XML模式、树逻辑和滑轮自动机。 （英语） Zbl 1038.68039号 Nieuwenhuis，Robert（编辑），重写技术和应用。2003年6月9日至11日在西班牙巴伦西亚举行的RTA 2003第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40254-3/pbk）。莱克特。票据计算。科学。2706, 246-263 (2003). 概述：XML文档和其他形式的半结构化数据可以大致描述为边缘标记树；因此，使用树自动机对它们进行推理是很自然的。这种思想已经成功地应用于文档类型定义（DTD）的上下文中，DTD是定义XML文档有效性的最简单的标准，但还需要做额外的工作来考虑XML模式，这是一种更高级的标准，常规的树自动机对此并不满意。在本文中，我们定义了一种树逻辑，它直接将XML模式嵌入为一个普通子集，并定义了一类新的未分类树自动机，用于确定这种逻辑，它非常适合于XML文档和模式的处理。有关整个系列，请参见[Zbl 1029.00060号]. 引用于11文件 MSC公司： 68第05页 数据结构 65年第68季度 形式语言和自动机 05年3月 与逻辑问题相关的自动机和形式文法 PDF格式BibTeX公司 XML格式引用 \textit{S.Dal Zilio}和\textit{D.Lugiez}，莱克特。票据计算。科学。2706、246——263（2003年；Zbl 1038.68039） 全文： 链接