A characterization of substitutive sequences using return words Original Research Article

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