arXiv++ Combinatorics

Browse math.CO papers from arXiv

A proof for the decidability of HD0L ultimate periodicity

Published: 2011-10-21 | Updated: 2012-07-17
Comments: 33 pages, in Russian

Abstract

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

BibTeX

Loading...