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,