4. Christol's theorem
In this section, we will show Christol's theorem, which states the equivalence between the algebraicity of a formal series with coefficients in a finite field and the automaticity of the sequence of its coefficients: in other words, on a finite field, a combinatorial property of the sequence of coefficients of a formal series (the fact of being generated by a finite automaton) allows us to detect the algebraic character of this formal series.
Theorem 2. Let q = p a , with p prime and a integer . Let ...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Christol's theorem
Other properties and applications of automatic sequences
Article included in this offer
"Mathematics"
(
165 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
References
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
