Decidability, arithmetic subsequences and eigenvalues of morphic subshifts

11/09/2018

∙

by   Fabien Durand, et al.

∙

0

∙

share

We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the subshifts they generate to give a first algorithm deciding whether, given p ∈ N, there exists such a constant subsequence along an arithmetic progression of common difference p. In the special case of uniformly recurrent automatic sequences we explicitely describe the sets of such p by means of automata.