Cobham's Theorem and Automaticity
Formal Languages and Automata Theory
2018-12-17 v2 Combinatorics
Number Theory
Abstract
We make certain bounds in Krebs' proof of Cobham's theorem explicit and obtain corresponding upper bounds on the length of a common prefix of an aperiodic -automatic sequence and an aperiodic -automatic sequence, where and are multiplicatively independent. We also show that an automatic sequence cannot have arbitrarily large factors in common with a Sturmian sequence.
Keywords
Cite
@article{arxiv.1809.00679,
title = {Cobham's Theorem and Automaticity},
author = {Lucas Mol and Narad Rampersad and Jeffrey Shallit and Manon Stipulanti},
journal= {arXiv preprint arXiv:1809.00679},
year = {2018}
}
Comments
17 pages