关于良好游戏Rabin自动机的大小及其与Muller游戏中的记忆之间的联系
摘要：好对游戏的Rabin自动机识别Muller语言（Muller语言完全由每个单词中无限出现的字母集合来描述）。我们证明，最小的这种自动机的大小正好是赢得具有该语言作为获胜条件的Muller游戏所需的最小内存的大小。我们展示了如何有效地构造这样的最小自动机。最后，我们证明这些自动机可以比等效的确定性自动机更简洁，从而证明赢得Muller游戏所需的色彩记忆可以比无限制的记忆大指数倍。
作者：Antonio Casares, Thomas Colcombet, Karoliina Lehtinen
论文ID：2204.11333
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-05-02