无限字母上的受限变量自动机
摘要：保护的变量自动机 (GVAs) 定义了无限字母上有限自动机的简单扩展。在这个模型中，转移通过变量的相等和不等关系的合取进行标记。GVAs很适合建模组件化的应用程序，如 Web 服务。它们在交集、并集、连接和Kleene运算下保持闭合，且其非空问题是PSPACE完备的。我们证明了 GVAs 的模拟前序是可判定的。我们的证明依赖于通过游戏和策略对模拟的刻画。这个结果可以应用于服务组合合成。
作者：Walid Belkhir and Yannick Chevalier and Michael Rusinowitch
论文ID：1304.6297
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-10-28