关于概率自动机的值1问题已知情况
摘要：值为1问题是有关有限字的概率自动机的决策问题：是否有被自动机以任意高的概率接受的字？虽然是不可判定的，但这个问题在过去几年中引起了很多关注。本文的目的是回顾和关联与值为1问题相关的结果。特别地，已经提出了几种算法来部分解决这个问题。我们展示了它们之间的关系，得出以下结论：马尔可夫幼群算法是已知的（部分）解决值为1问题的最正确算法。
作者：Nathana"el Fijalkow (LIAFA)
论文ID：1410.3770
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-10-15