A Generalization of Cobham's Theorem for Regular Sequences
Séminaire lotharingien de combinatoire, 54A (2005-2007)
Citer cet article
Voir la notice de l'acte provenant de la source Séminaire Lotharingien de Combinatoire website
A sequence is said to be k-automatic if the nth term of this sequence is generated by a finite state machine with n in base k as input. A result due to Cobham states that if a sequence is both k- andl-automatic and k and l are multiplicatively independent, then the sequence is eventually periodic. Allouche and Shallit defined (R,k)-regular sequences as a natural generalization of k-automatic sequences for a given ring R. In this paper we prove the following generalization of Cobham's theorem: If a sequence is (R,k)- and (R,l)-regular and k and l are multiplicatively independent, then the sequence satisfies a linear recurrence over R.