Unpublished conference/Abstract (Scientific congresses and symposiums)
A decision problem for ultimate periodicity in non-standard numeration systems
Charlier, Emilie
2012Journées de l'ANR SubTile, Decidability problems for substitutive sequences, tilings and numerations,
 

Files


Full Text
Amiens2012.pdf
Author preprint (276.15 kB)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
numeration system; decidability question; state complexity; ultimately periodic set
Abstract :
[en] In the first part of the talk, I will overview some results on state complexity of ultimately periodic sets in various numeration systems. In the second part of the talk, I will present some applications of these methods to the following decidability question: given a DFA recognizing a set of integers represented in a fixed numeration system, decide whether this set is ultimately periodic. The techniques presented in this talk could be extended to other classes of sets of integers, and thus, could be applied to new decidability questions.
Disciplines :
Mathematics
Author, co-author :
Charlier, Emilie  ;  Université Libre de Bruxelles - ULB > Département de mathématique > Géométrie, Théorie des groupes et Combinatoire
Language :
English
Title :
A decision problem for ultimate periodicity in non-standard numeration systems
Publication date :
July 2012
Event name :
Journées de l'ANR SubTile, Decidability problems for substitutive sequences, tilings and numerations,
Event organizer :
Fabien Durand
Event place :
Amiens, France
Event date :
du 2 juillet 2012 au 4 juillet 2012
By request :
Yes
Audience :
International
Available on ORBi :
since 19 June 2012

Statistics


Number of views
51 (3 by ULiège)
Number of downloads
16 (1 by ULiège)

Bibliography


Similar publications



Contact ORBi