|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
|Numeration Systems: a Link between Number Theory and Formal Language Theory|
|Rigo, Michel [Université de Liège - ULg > Département de mathématique > Mathématiques discrètes >]|
|Lecture Notes in Computer Science|
|Developments in Language Theory|
|[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|
|File(s) associated to this reference|
All documents in ORBi are protected by a user license.