An elementary proof using diagonals of bivariate rational functions yields bounds on the automaton size for algebraic power series over finite fields matching those from geometric methods.
Algebraic elements in formal power series rings
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.NT 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A note on Christol's theorem
An elementary proof using diagonals of bivariate rational functions yields bounds on the automaton size for algebraic power series over finite fields matching those from geometric methods.