Finite automata and arithmetic.
H. Sharif et C. Woodcock donnent dans [26] une caractérisation des séries formelles à coefficients dans un corps de caractéristique non nulle et algébriques sur ; ils en déduisent simplement l’algébricité du produit de Hadamard ou des diagonales de séries algébriques. (Ces résultats ont aussi été obtenus par T. Harase [14]). Nous donnons ici une démonstration légèrement différente de leur théorème et montrons comment on peut en déduire une généralisation intéressante de la notion de -substitution...
En utilisant le théorème de Christol, Kamae, Mendès France et Rauzy, nous donnons une démonstration élémentaire de la transcendance de la série formelle ainsi que d’autres séries formelles à coefficients dans un corps fini.
We compare two sets of (infinite) binary sequences whose suffixes satisfy extremal conditions: one occurs when studying iterations of unimodal continuous maps from the unit interval into itself, but it also characterizes univoque real numbers; the other is a disguised version of the set of characteristic sturmian sequences. As a corollary to our study we obtain that a real number in is univoque and self-sturmian if and only if the -expansion of is of the form , where is a characteristic...
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.
We compare two sets of (infinite) binary sequences whose suffixes satisfy extremal conditions: one occurs when studying iterations of unimodal continuous maps from the unit interval into itself, but it also characterizes univoque real numbers; the other is a disguised version of the set of characteristic Sturmian sequences. As a corollary to our study we obtain that a real number in is univoque and self-Sturmian if and only if the -expansion of is of the form , where is a characteristic...
Let be a real lacunary formal power series, where εₙ = 0,1 and . It is known that the denominators Qₙ(X) of the convergents of its continued fraction expansion are polynomials with coefficients 0, ±1, and that the number of nonzero terms in Qₙ(X) is the nth term of the Stern-Brocot sequence. We show that replacing the index n by any 2-adic integer ω makes sense. We prove that is a polynomial if and only if ω ∈ ℤ. In all the other cases is an infinite formal power series; we discuss its algebraic...
Page 1 Next