概率自动机在无限字上的可决问题
摘要：概率自动机对无限字分别通过偶数条件来定义接受。我们考虑三个定性决策问题：（i）正决策问题询问是否存在一个被正概率接受的字；（ii）几乎决策问题询问是否存在一个被概率1接受的字；（iii）极限决策问题询问对于每个 ε > 0是否存在一个被至少接受概率为1 - ε的字。我们统一并推广了关于无限字上的概率自动机的几个可决定性结果，并且确定了一个鲁棒的（对并和交运算封闭）概率自动机子类，其对于偶数条件的所有定性决策问题都是可决定的。我们还证明，如果输入字被限制为环形（正则）字，则对于所有带偶数条件的概率自动机来说，正决策问题和几乎决策问题都是可决定的。对于大多数可决定问题，我们证明了最优的PSPACE完全复杂性界限。
作者：Krishnendu Chatterjee and Mathieu Tracol
论文ID：1107.2091
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-07-12