推动概率自动机孤立问题的不可判定性
摘要：用一种概率自动机仅具有一个概率转换来证明孤立问题对于概率自动机是不可判定的。对于没有限制概率转换次数的一般概率自动机，这个问题已知是不可判定的。在这个笔记中，我们开发了一种模拟技术，可以将任何概率自动机模拟成只有一个概率转换的自动机。
作者：Nathana"el Fijalkow (ENS Cachan, LIAFA), Hugo Gimbert (LaBRI), Youssouf Oualhadj (LaBRI)
论文ID：1104.3054
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-04-18