A proof for the decidability of HD0L ultimate periodicity

arxiv: 1110.4780 · v3 · pith:RUNWGD44new · submitted 2011-10-21 · 🧮 math.CO · math.LO

Ivan Mitrofanov This is my paper

classification 🧮 math.CO math.LO

keywords decidabilityhd0lperiodicityproofultimategiveproblem

0 comments

read the original abstract

We give a proof for the decidability of the HD0L ultimate periodicity problem.

This paper has not been read by Pith yet.