On the Recognition of Primes by Automata
- 1 July 1968
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 15 (3) , 382-389
- https://doi.org/10.1145/321466.321470
Abstract
A study of the problem of recognizing the set of primes by automata is presented. A simple algebraic condition is derived which shows that neither the set of primes nor any infinite subset of the set of primes can be accepted by a pushdown or finite automaton. In view of this result an interesting open problem is to determine the “weakest” automaton which can accept the set of primes. It is shown that the linearly bounded automaton can accept the set of primes, and it is conjectured that no automaton whose memory grows less rapidly can recognize the set of primes. One of the results shows that if this conjecture is true, it cannot be proved by the use of arguments about the distribution of primes, as described by the Prime Number Theorem. Some relations are established between two classical conjectures in number theory and the minimal rate of memory growth of automata which can recognize the set of primes.Keywords
This publication has 3 references indexed in Scilit:
- A Remark on Acceptable Sets of NumbersJournal of the ACM, 1968
- Unrecognizable Sets of NumbersJournal of the ACM, 1966
- Finite Automata and the Set of SquaresJournal of the ACM, 1963