# Applications of Christol theorem

I'm looking forward to know about applications of Christol theorem mentioned in Jefrrey Shallit's Number theory and formal languages. One of them is purely algebraic: if $$f, g \in \mathbb{F}_q[[z]]$$ are algberaic then their Hadamard product $$f \odot g$$ is also algebraic.

Can you name other applications?

## 1 Answer

There are lots of applications to transcendence in finite characteristic. Christol's theorem makes it possible to give proofs of theorems about transcendence of formal power series using the tools of formal language theory. This was pioneered by Allouche, Valerie Berthe in her thesis, etc.