On the enumerating series of an abstract numeration system

Pierre-Yves Angrand (1) , Jacques Sakarovitch (1)

1 LTCI - Laboratoire Traitement et Communication de l'Information

It is known that any rational abstract numeration system is faithfully, and effectively, represented by an N-rational series. A simple proof of this result is given which yields a representation of this series which in turn allows a simple computation of the value of words in this system and easy constructions for the recognition of recognisable sets of numbers. It is also shown that conversely it is decidable whether an N-rational series corresponds to a rational abstract numeration system.

Mots clés: numeration systems; finite automata; rational series

Domaines: Mathématique discrète [cs.DM]; Théorie et langage formel [cs.FL]

Pierre-Yves Angrand, Jacques Sakarovitch. On the enumerating series of an abstract numeration system. 2010. ⟨hal-00617617⟩