数据自动机的可决扩展
摘要：基于数据词的数据自动机是由Boja'nczyk等人于2006年提出的一种可决定的模型。最近由Boja'nczyk和Lasota引入的类自动机是数据自动机的扩展，它统一了数据词的不同自动机模型。由于类自动机能模拟两计数器机，因此类自动机的非空性是不可决定的。本文提出了一种可决定的模型，称为具有优先类条件的类自动机。该模型限制了类自动机但严格扩展了数据自动机，并通过建立与优先多计数器自动机的对应关系来获得可决定性。该对应关系还完善了类自动机的各种类条件和计数器机的各种模型之间的联系。此外，该模型还被应用于扩展Alur、Cern'y和Weinstein关于访问数组程序算法分析的可决定性结果。
作者：Zhilin Wu (State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences)
论文ID：1106.1235
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-06-08