概率语义下的定量自动机
摘要：具有监视计数器的自动机和嵌套加权自动机是两种表达量化属性的自动机理论框架。对于一个被广泛研究的并且具有广泛应用的量化函数类，我们证明了具有监视计数器和嵌套加权自动机是等价的。我们首次研究了这种量化自动机在概率语义下的性质。我们展示了对于经典的空集和全集问题是不可判定的一些问题在概率语义下是可判定的。我们给出了这种自动机的可判定性的完整图景，对于我们考虑的概率问题甚至给出了几乎完整的计算复杂度图景。
作者：Krishnendu Chatterjee, Thomas A. Henzinger and Jan Otop
论文ID：1604.06764
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22