On the base-dependence of sets of numbers recognizable by finite automata
- 212 Downloads
It is known that the set of powers of two is recognizable by a finite automaton if the notational base used for representing numbers is itself a power of two but is unrecognizable in all other bases. On the other hand, the set of multiples of two is recognizable no matter what the notational base. It is shown that the latter situation is the exception, the former the rule: the only sets recognizable independently of base are those which are ultimately periodic; others, if recognizable at all, are recognizable only in bases which are powers of some fixed positive integer.
KeywordsPositive Integer Computational Mathematic Finite Automaton Notational Base
Unable to display preview. Download preview PDF.
- J. R. Büchi, Weak second-order arithmetic and finite automata,Z. Math. Logik Grundlagen Math. 6 (1960), 66–92.Google Scholar
- J. W. S. Cassels,An Introduction to Diophantine Approximation, Cambridge University Press, 1957.Google Scholar
- M. Minsky andS. Papert, Unrecognizable sets of numbers,J. Assoc. Comput. Mach. 13 (1966), 281–286.Google Scholar
- M. O. Rabin andD. Scott, Finite automata and their decision problems,IBM J. Res. Develop. 3 (1959), 114–125.Google Scholar