Cobham's Theorem and Automaticity

Lucas Mol, Narad Rampersad, Jeffrey Shallit +1

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 $a$-automatic sequence an…