b-可识别集的极限周期性：一个拟线性过程
Ultimate periodicity of b-recognisable sets : a quasilinear procedure
摘要：
它是可判定的，如果一组数，其在基b中的表示是正则语言，最终是周期的。这是由Honkala于1986年建立的。我们在这里给出了一个结构描述的最小自动机，接受一个最终周期性的一组号码。然后，我们表明，它可以验证在线性时间，如果一个给定的最小自动机满足此描述。这就产生了一个O（n log（n））的过程来决定一个一般的确定性自动机是否接受一个最终周期性的数集。
英文摘要：
It is decidable if a set of numbers, whose representation in a base b is a regular language, is ultimately periodic. This was established by Honkala in 1986. We give here a structural description of minimal automata that accept an ultimately periodic set of numbers. We then show that it can verified in linear time if a given minimal automaton meets this description. This thus yields a O(n log(n)) procedure for deciding whether a general deterministic automaton accepts an ultimately periodic set of numbers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
