Automatic sequences and transcendence in positive characteristic (Q689679)

Seien \(g,h\geq 2\) ganze Zahlen. \((a)_ h\) bezeichne die \(h\)-adische Darstellung der natürlichen Zahl \(a\). Dann erklärt man die positive reelle Zahl \(\theta_ h(g)\) durch ihre \(h\)-adische Entwicklung \(\theta_ h(g)=0,(1)_ h(g)_ h(g^ 2)_ h \ldots.\) Die Irrationalität von \(\theta_ h(g)\) zeigte \textit{K. Mahler} [J. Number Theory 13, 268-269 (1981; Zbl 0453.10009)] für \(h=10\) und \(g\geq 2\) sowie \textit{P. Bundschuh} [ibid. 19, 248-253 (1984; Zbl 0548.10023)] für beliebige \(g,h\geq 2\). Verallgemeinerungen dieser Resultate erzielten \textit{H. Niederreiter} [ibid. 24, 197-199 (1986; Zbl 0602.10024)], \textit{Z. Shan} und \textit{E. T. H. Wang} [ibid. 32, 111-113 (1989; Zbl 0671.10030)] sowie der Verf. [ibid. 39, 108-116 (1991; Zbl 0733.11010)]. Die Irrationalität von \(\theta_ h(g)\) ist äquivalent zur Nichtperiodizität der Folge \(A(g,h)\) der Ziffern der \(h\)-adischen Entwicklung von \(\theta_ h(g)\). Über dieses Resultat hinausgehend zeigt der Verf. hier, daß \(A(g,h)\) für kein ganzes \(t\geq 2\) eine \(t\)-automatische Folge (im Sinne der Theorie der endlichen Automaten) ist. Dieses Ergebnis liefert gleichzeitig die Transzendenz gewisser -- in Analogie zu \(\theta_ h(g)\) gebildeter -- formaler Potenzreihen aus \(\mathbb{F}_ p[[z]]\).