On sait (Cobham) qu’une suite - et -automatique est une suite rationnelle. Une question de Loxton et van der Poorten étend ce résultat au cas - et -régulier. On montre dans cet article que, si une suite vérifie une récurrence - et -mahlérienne d’ordre un, elle est rationnelle.
@article{JTNB_1993__5_1_101_0, author = {Rand\'e, Bernard}, title = {R\'ecurrences $2$- et $3$-mahl\'eriennes}, journal = {Journal de Th\'eorie des Nombres de Bordeaux}, pages = {101--109}, publisher = {Universit\'e Bordeaux I}, volume = {5}, number = {1}, year = {1993}, zbl = {0795.11010}, mrnumber = {1251230}, language = {fr}, url = {http://archive.numdam.org/item/JTNB_1993__5_1_101_0/} }
TY - JOUR AU - Randé, Bernard TI - Récurrences $2$- et $3$-mahlériennes JO - Journal de Théorie des Nombres de Bordeaux PY - 1993 DA - 1993/// SP - 101 EP - 109 VL - 5 IS - 1 PB - Université Bordeaux I UR - http://archive.numdam.org/item/JTNB_1993__5_1_101_0/ UR - https://zbmath.org/?q=an%3A0795.11010 UR - https://www.ams.org/mathscinet-getitem?mr=1251230 LA - fr ID - JTNB_1993__5_1_101_0 ER -
Randé, Bernard. Récurrences $2$- et $3$-mahlériennes. Journal de Théorie des Nombres de Bordeaux, Tome 5 (1993) no. 1, pp. 101-109. http://archive.numdam.org/item/JTNB_1993__5_1_101_0/
[1] The ring of k-regular sequences, Theor. Comp. Sci. 98 (1992), 1163-197. | MR 1166363 | Zbl 0774.68072
et ,[2] On the base-dependence of sets of numbers recognizable by finite automata, Math. Systems Theory 3 (1969), 186-192. | MR 250789 | Zbl 0179.02501
,[3] Automata and transcendence, New advances in transcendence theory (Durham 1986), Cambridge University Press (1988), 215-228. | MR 972002 | Zbl 0656.10032
,[4] Remarks on automata, functional equations and transcendence, Séminaire de Théorie des Nombres de Bordeaux (1986-1987), exposé n° 27, 27-01-27-11.
,