

























We give a new graph-theoretic proof of Cobham's Theorem which says that the support of an automatic sequence is either sparse or grows at least like $N^α$ for some $α> 0$. The proof uses the notions of tied vertices and cycle arboressences. With the ideas of the proof we can also give a new interpretation of the rank of a sparse sequence as the height of its cycle arboressence. In the non-sparse case we are able to determine the supremum of possible $α$, which turns out to be the logarithm of an integer root of a Perron number.
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。