Automata in number theory (Q2244820)

This article is a survey on the interactions between automata theory and number theory. (For an older discussion on this topic, see the paper of the reviewer [IMA Vol. Math. Appl. 109, 547--570 (1999; Zbl 0973.11032)] Here are some of the topics covered: automatic sequences and various characterizations of them, non-automaticity of the prime numbers (or any infinite subset of them), density of primes in automatic sets, transcendence of real numbers with automatic base-\(p\) expansions, resolution of Cobham's conjecture, Derksen's theorem on the zero set of a linear recurrence in a field of finite characteristic, Christol's theorem linking algebraic formal series over a finite field with automata, and Kedlaya's generalization. This is an excellent account of the main results of the field up to about 2010, and can be read profitably by anyone interested in the topic. For the entire collection see [Zbl 1470.68002].