无序树的确定性自动机
摘要：用于无序非序排列树的自动机在定义Json或Xml格式数据树的模式和查询时非常重要。尽管现有概念在表达能力方面得到了很好的研究，但它们都缺乏一个适当的确定性概念，这使得难以区分能够高效解决包含性、等价性和最小化等问题的自动机子类。在本文中，我们提出并研究了不同概念的“水平确定性”，从非序排列树的自动机开始，其中水平评估由有限状态自动机执行。我们表明，对共同水平评估的限制会导致多项式时间的空集和全能性，但仍然会受到二进制交集空集的coNP完备性的困扰。最后，通过对类中所有自动机全局施加水平评估的顺序，可以获得高效的算法。根据顺序的选择，我们获得了不同类的自动机，每个类的表达能力与CMso相同。
作者：Adrien Boiret (University of Lille 1. Links (Inria Lille & LIFL, UMR CNRS 8022), France), Vincent Hugot (Inria. Links (Inria Lille & LIFL, UMR CNRS 8022), France), Joachim Niehren (Inria. Links (Inria Lille & LIFL, UMR CNRS 8022), France), Ralf Treinen (University Paris Diderot. PPS (UMR CNRS 7126), France)
论文ID：1408.5966
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-08-27