b-可识别集的终极周期性：一个拟线性过程
形式语言与自动机理论
2013-06-11 v2
摘要
一个以基 b 表示为正则语言的数集是否具有终极周期性是可判定的。这由 Honkala 于 1986 年证明。我们在此给出接受终极周期数集的极小自动机的结构描述。随后我们证明，给定极小自动机是否符合该描述可以在线性时间内验证。因此，这产生了一个 O(n log(n)) 的过程，用于判定一般确定性自动机是否接受一个终极周期数集。
引用
@article{arxiv.1301.2691,
title = {Ultimate periodicity of b-recognisable sets : a quasilinear procedure},
author = {Victor Marsault and Jacques Sakarovitch},
journal= {arXiv preprint arXiv:1301.2691},
year = {2013}
}
备注
presented at DLT 2013