Au sujet de l'algorithme « de Coates »
Let be a finite field of characteristic . Let be the field of formal Laurent series in with coefficients in . That is,with and . We discuss the distribution of for , wheredenotes the nonnegative part of . This is a little different from the real number case where the fractional part that excludes constant term (digit of order 0) is considered. We give an alternative proof of a result by De Mathan obtaining the generic distribution for with for some . This distribution is...
On explicite une conjugaison en mesure entre le décalage sur le système dynamique associé à une substitution primitive et une transformation adique sur le support d'un sous-shift de type fini, à savoir l'ensemble des chemins d'un automate dit des préfixes-suffixes. En caractérisant les préimages par la conjugaison des chemins périodiques de l'automate, on montre que cette conjugaison est injective sauf sur un ensemble dénombrable, sur lequel elle est finie-à-un. On en déduit l'existence d'une suite...
Le point fixe d’une substitution injective uniforme de module sur un alphabet est examiné du point de vue du nombre de ses blocs distincts de longueur . Lorsque est minimal et de cardinal deux, nous construisons un automate pour la suite .
Dans quelle mesure la régularité des chiffres d’un nombre réel dans une base entière, celle des quotients partiels du développement en fraction continuée d’un nombre réel, ou celle des coefficients d’une série formelle sont-elles liées à l’algébricité ou à la transcendance de ce réel ou de cette série formelle ? Nous proposons un survol de résultats récents dans le cas où la régularité évoquée ci-dessus est celle de suites automatiques, substitutives, ou sturmiennes.
Soit une suite strictement croissante d’entiers reconnaissable par un automate fini. Nous montrons qu’une condition nécessaire et suffisante pour que l’ensemble normal associé a soit exactement est que l’un au moins des sommets qui reconnaît la suite soit précédé dans le graphe de l’automate par un sommet possédant au moins deux circuits fermés distincts. Cette condition peut se traduire quantitativement en disant que la suite doit être plus “dense” que toute suite exponentielle.
We establish new combinatorial transcendence criteria for continued fraction expansions. Let be an algebraic number of degree at least three. One of our criteria implies that the sequence of partial quotients of is not ‘too simple’ (in a suitable sense) and cannot be generated by a finite automaton.
We prove that automatic sequences generated by synchronizing automata satisfy the full Sarnak conjecture. This is of particular interest, since Berlinkov proved recently that almost all automata are synchronizing.
This paper studies the descriptional complexity of (i) sequences over a finite alphabet ; and (ii) subsets of (the natural numbers). If is a sequence over a finite alphabet , then we define the -automaticity of , to be the smallest possible number of states in any deterministic finite automaton that, for all with , takes expressed in base as input and computes . We give examples of sequences that have high automaticity in all bases ; for example, we show that the characteristic...