53:11
publiée le 13 octobre 2025
On expansions of monadic second-order logic with power predicates - Lecture 1
De Joël Ouaknine
Around Cobham's theorem
Apparaît dans la collection : Combinatorics on words / Combinatoire des mots - Week 5
We provide a complete characterisation of automaticity of uniformly recurrent substitutive sequences in terms of the incidence matrix of the return substitution of an underlying purely substitutive sequence. This gives an answer to a recent question of Allouche, Dekking and Queffélec in the uniformly recurrent case.
