弱化和嵌套类记忆自动机
摘要：从近期开始，对于无穷字母表上的自动机进行了广泛的研究，因为它们被认为是解决验证和数据库理论问题的潜在有用工具。一个研究的热门自动机模型是Class Memory Automata (CMA)，其中空集问题等价于Petri网可达性问题。我们确定了CMA的一个限制，将其称为弱点，并且证明了它们的空集问题与Petri网覆盖性问题等价。此外，我们证明在确定性情况下，它们在所有布尔运算下都是闭合的。我们澄清了弱点CMA与现有数据语言上的自动机之间的联系。我们还扩展了CMA，使其能够操作多个级别的嵌套数据值，并且证明了尽管这些自动机在一般情况下具有不可判定的空集性，但通过添加弱点约束，可以通过缩减到良构过渡系统中的覆盖性来恢复空集性的可判定性。我们还研究了与现有的嵌套数据上的自动机之间的关系。
作者：Conrad Cotton-Barratt, Andrzej Murawski, Luke Ong
论文ID：1409.1136
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-12-01