(Non)Automaticity of number theoretic functions
Denote by Liouville’s function concerning the parity of the number of prime divisors of . Using a theorem of Allouche, Mendès France, and Peyrière and many classical results from the theory of the distribution of prime numbers, we prove that is not –automatic for any . This yields that is transcendental over for any prime . Similar results are proven (or reproven) for many common number–theoretic functions, including , , , , , and others.