Recognizable sets of integers
Rigo, Michel
Dept. of Mathematics, University of Li`ege, Grande Traverse 12 (B37), B-4000 Li`ege, Belgium
M.Rigo@ulg.ac.be
A set E ⊆ N is called k-recognizable if the set of base-k expansions of elements of E forms a regular language (recognizable by means of a finite automaton). A classical theorem of Cobham [2] states that a set is simultaneously k- and ℓ-recognizable (k, ℓ being multiplicatively independent, i.e., log k/ log ℓ is irrational) if and only if it is the finite union of arithmetic progressions. Roughly speaking it means that the only sets of integers whose representations in all bases have “simple” syntactical properties are exactly the ultimately periodic sets.
This result has led to many developments during the last forty years. The aim of this talk is to present to non-specialists some of these directions linking formal language theory and number theory: connections with first order logic, automatic sequences and combinatorics on words, introduction of non-standard and abstract numeration systems. For instance, the following result has been completely settled by F. Durand [3]. Let α and β be two multiplicatively independent Perron numbers. An infinite sequence taking values in a finite set A is both α-substitutive and β-α-substitutive if and only if it is ultimately periodic. With any morphism of the free monoid A∗ is associated a square matrix M with non-negative integer entries and such
a matrix has a real eigenvalue α larger or equal to the modulus of any other eigenvalue of M. Therefore the notion of α-substitutive word over the finite alphabet B can easily be derived (it includes a projection on B given by a coding Φ : A → B). We also aim at presenting some related decision problems in connection with Emilie Charlier’s talk and studied extensively by the community. To that end, we will briefly present the notion of state complexity.
References
[1] V. Berth´e, M. Rigo (Eds.), Combinatorics, Automata and Number Theory, Encyclopedia of Math. and its Appl. vol. 135, Cambridge Univ. Press (2010).
[2] A. Cobham, On the base-dependence of sets of numbers recognizable by finite automata, Math. Systems Theory 3, 186-–192 (1969).
[3] F. Durand, Cobham’s theorem for substitutions, J. Eur. Math. Soc. 13, 1799—1814 (2011). [4] F. Durand, M. Rigo, On Cobham’s theorem, to appear in Handbook of Automata, EMS
Publishing House. http://orbi.ulg.ac.be/handle/2268/39461
[5] M. Rigo, Numeration Systems: a Link between Number Theory and Formal Lan-guage Theory, Lect. Notes in Comput. Sci. 6224, 33–53 Springer-Verlag (2010). http://orbi.ulg.ac.be/handle/2268/35488