Reference : Numeration Systems: a Link between Number Theory and Formal Language Theory
Scientific congresses and symposiums : Paper published in a journal
Physical, chemical, mathematical & earth Sciences : Mathematics
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/35488
Numeration Systems: a Link between Number Theory and Formal Language Theory
English
Rigo, Michel mailto [Université de Liège - ULg > Département de mathématique > Mathématiques discrètes >]
2010
Lecture Notes in Computer Science
Springer
6224
33-53
No
Yes
International
0302-9743
1611-3349
Berlin
Germany
Developments in Language Theory
London, Ontario
Canada
[en] Numeration system ; Cobham's theorem ; Number Theory
[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.
Researchers ; Professionals ; Students
http://hdl.handle.net/2268/35488

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Restricted access
survey-v2.pdfAuthor preprint208.44 kBRequest copy

Additional material(s):

File Commentary Size Access
Open access
RigoDLT.pdfslides of the invited talk897.69 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.