  Denote by $\lambda(n)$ Liouville's function concerning the parity of the
number of prime divisors of $n$. Using a theorem of Allouche, Mend\`es France,
and Peyri\`ere and many classical results from the theory of the distribution
of prime numbers, we prove that $\lambda(n)$ is not $k$--automatic for any $k>
2$. This yields that $\sum_{n=1}^\infty \lambda(n) X^n\in\mathbb{F}_p[[X]]$ is
transcendental over $\mathbb{F}_p(X)$ for any prime $p>2$. Similar results are
proven (or reproven) for many common number--theoretic functions, including
$\phi$, $\mu$, $\Omega$, $\omega$, $\rho$, and others.
