Cobham'S Theorem And Automaticity
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE(2019)
摘要
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 and an aperiodic b-automatic sequence, where a and b are multiplicatively independent. We also show that an automatic sequence cannot have arbitrarily large factors in common with a Sturmian sequence.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要