Automata-Style Proof of Volochʹs Result on Transcendence Original Research Article

We give another proof of Volochʹs result on transcendence of the period of the Tate elliptic curve. The proof is based on the transcendence criterion of Christol involving notions of recognizable sequences and automata.