I survey some of the connections between formal languages and number theory. Topics discussed include applications of representation in base k, representation by sums of Fibonacci numbers, automatic sequences, transcendence in nite characteristic , automaticreal numbers, xed points of homomorphisms, automaticity, and k-regular sequences.