HD0L 终极周期性问题可判定性的一个证明
组合数学
2012-07-19 v3 逻辑
摘要
我们给出了 HD0L 终极周期性问题可判定性的一个证明。
引用
@article{arxiv.1110.4780,
title = {A proof for the decidability of HD0L ultimate periodicity},
author = {Ivan Mitrofanov},
journal= {arXiv preprint arXiv:1110.4780},
year = {2012}
}
备注
33 pages, in Russian