Structure of the minimal automaton of a numeration language
English
Charlier, Emilie[Université de Liège - ULg > Département de mathématique > Mathématiques discrètes >]
Rampersad, Narad[Université de Liège - ULg > Département de mathématique > Mathématiques discrètes >]
Rigo, Michel[Université de Liège - ULg > Département de mathématique > Mathématiques discrètes >]
Waxweiler, Laurent[Université de Liège - ULg > Département de mathématique > Mathématiques discrètes >]
Aug-2010
Actes de LaCIM 2010
No
International
LaCIM 2010
from 29-8-2010 to 31-8-2010
Montreal
Canada
[en] Automata ; Numeration ; Structure
[en] We study the structure of automata accepting the greedy representations of N in a wide class of numeration systems. We describe the conditions under which such automata can have more than one strongly connected component and the form of any such additional components. Our characterization applies, in particular, to any automaton arising from a Bertrand numeration system. Furthermore, we show that for any automaton A arising from a system with a dominant root beta>1, there is a morphism mapping A onto the automaton arising from the Bertrand system associated with the number beta.