非周期自动机的Cerny猜想
摘要：每个非确定有限自动机具有一个同步（递归，复位）单词，将自动机的所有状态带到某个状态；具有同步单词的确定有限自动机被称为同步。Cerny在1964年猜测，每个n状态同步有限自动机都具有至多(n-1)2长度的同步单词。我们考虑具有非周期性过渡单词的自动机（这种自动机被称为非周期性）。我们证明了每个具有n个状态的非周期性同步自动机都具有长度最多为n(n-2)+1的同步单词。因此，对于非周期性自动机以及仅接受无星语言的自动机，Cerny猜想成立。
作者：A.N. Trahtman
论文ID：2105.09105
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-05-20