摘要：弱同步语言为概率自动机引入[1]。在本报告中，我们展示了弱同步语言的概率自动机的空集问题是不可判定的。这意味着弱同步语言的空集问题的可判定性结果[1-3]是不正确的。
作者：Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
论文ID：1206.0995
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-06-06
PDF 下载： 英文版 中文版pdf翻译中