b-可识别集的终极周期性：一种准线性程序
摘要：确定一个数字集合，其在基数b下的表示形式为正则语言，并且是最终周期的。Honkala在1986年已经证明了这一点。 我们在这里给出了接受最终周期数字集合的最小自动机的结构描述。然后我们证明了，如果给定的最小自动机满足这种描述，可以在线性时间内验证。 因此，这提供了一个O(n log(n))的方法来确定一个一般的确定性自动机是否接受最终周期的数字集合。
作者：Victor Marsault and Jacques Sakarovitch
论文ID：1301.2691
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-06-11