A characterization of substitutive sequences using return words

Abstract

We prove that a sequence is primitive substitutive if and only if the set of its derived sequences is finite; we defined these sequences here.