Skip to main content Accessibility help
×
Hostname: page-component-8448b6f56d-42gr6 Total loading time: 0 Render date: 2024-04-19T19:13:27.416Z Has data issue: false hasContentIssue false

3 - Abstract numeration systems

Published online by Cambridge University Press:  05 March 2013

P. Lecomte
Affiliation:
Université de Liège
M. Rigo
Affiliation:
Université de Liège
Valérie Berthé
Affiliation:
Université de Paris VII
Michel Rigo
Affiliation:
Université de Liège, Belgium
Get access

Summary

The primary motivation for the introduction of the abstract numeration systems stems from the celebrated theorem of Cobham dating back to 1969 about the so-called recognisable sets of integers in any integer base numeration system. Representations of numbers are words over a finite alphabet. There is a one-to-one correspondence between the sets of numbers and the languages made of the corresponding representations. Hence it is natural to consider questions related to formal language theory. In particular, we study sets of integers corresponding to regular languages. The different sections of this chapter are largely independent. However, Section 3.2 presents basic concepts and notation used in all later sections. The main focus is on the representation of integers. Extension to abstract numeration systems of the notion of recognisable sets of integers is studied in Section 3.3. In particular, we present some results about the stability of recognisability after multiplication by a constant. This requires us to discuss the complexity (or counting) function of regular languages. Section 3.4 is about the extension – to any substitutive sequence – of Cobham's theorem from 1972 about the equality of the set of infinite k-automatic words and the set of images under codings of the fixed points of substitutions of constant length k. The notion of an S-automatic sequence is then introduced and various applications to S-recognisability are considered. This chapter ends with a discussion about the representation of real numbers using abstract numeration systems.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2010

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×