D0L 最终周期性的可判定性的新证明
形式语言与自动机理论
2011-08-19 v1 离散数学
摘要
基于适应 Harju 和 Linna 方法的态射词 p-周期性的可判定性，我们给出了 D0L 最终周期性问题可判定性的一个新证明。
引用
@article{arxiv.1108.3631,
title = {A new proof for the decidability of D0L ultimate periodicity},
author = {Vesa Halava and Tero Harju and Tomi Kärki},
journal= {arXiv preprint arXiv:1108.3631},
year = {2011}
}
备注
In Proceedings WORDS 2011, arXiv:1108.3412