Applications of Christol theorem
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.