Reference : A decision problem for ultimate periodicity in non-standard numeration systems

	Document type :	Scientific congresses and symposiums : Unpublished conference
	Discipline(s) :	Physical, chemical, mathematical & earth Sciences : Mathematics
	To cite this reference:	http://hdl.handle.net/2268/125603

Title :	A decision problem for ultimate periodicity in non-standard numeration systems
Language :	English
Author, co-author :	Charlier, Emilie [Université Libre de Bruxelles - ULB > Département de mathématique > Géométrie, Théorie des groupes et Combinatoire > >]
Publication date :	Jul-2012
On invitation :	Yes
Audience :	International
Event name :	Journées de l'ANR SubTile, Decidability problems for substitutive sequences, tilings and numerations,
Event date :	du 2 juillet 2012 au 4 juillet 2012
Event organizer :	Fabien Durand
Event place (city) :	Amiens
Event country :	France
Keywords :	[en] 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.
Target :	Researchers
Permalink :	http://hdl.handle.net/2268/125603

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access Amiens2012.pdf Author preprint 269.68 kB View/Open

All documents in ORBi are protected by a user license.

 

© ULg Library Network |  Feedback |  ORBi legal notices

Dspace v1.5