ORBi: Rigo Michel - Numeration Systems: a Link between Number Theory and Formal Language Theory

Reference : Numeration Systems: a Link between Number Theory and Formal Language Theory


	Document type :	Scientific congresses and symposiums : Paper published in a journal
	Discipline(s) :	Physical, chemical, mathematical & earth Sciences : Mathematics Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/35488

Title :	Numeration Systems: a Link between Number Theory and Formal Language Theory
Language :	English
Author, co-author :	Rigo, Michel [Université de Liège - ULg > Département de mathématique > Mathématiques discrètes >]
Publication date :	2010
Journal title :	Lecture Notes in Computer Science
Publisher :	Springer
Volume :	6224
Pages :	33-53
On invitation :	Yes
Audience :	International
ISSN :	0302-9743
e-ISSN :	1611-3349
City :	Berlin
Country :	Germany
Event name :	Developments in Language Theory
Event place (city) :	London, Ontario
Event country :	Canada
Keywords :	[en] Numeration system ; Cobham's theorem ; Number Theory
Abstract :	[en] We survey facts mostly emerging from the seminal results of Alan Cobham obtained in the late sixties and early seventies. We do not attempt to be exhaustive but try instead to give some personal interpretations and some research directions. We discuss the notion of numeration systems, recognizable sets of integers and automatic sequences. We brie y sketch some results about transcendence related to the representation of real numbers. We conclude with some applications to combinatorial game theory and veri cation of in nite-state systems and present a list of open problems.
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/2268/35488

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Restricted access	survey-v2.pdf		Author preprint	208.44 kB	Request copy

Additional material(s):

	File	Commentary	Version	Size	Access
Open access	RigoDLT.pdf	slides of the invited talk	-	897.69 kB	View/Open

All documents in ORBi are protected by a user license.