Book contents
- Frontmatter
- Contents
- Preface
- Permissions
- 1 Introduction
- 2 Words and sequences
- 3 Number representations and numeration systems
- 4 Automata
- 5 Automatic sequences
- 6 First-order logic and automatic sequences
- 7 Using Walnut
- 8 First-order formulas for fundamental sequence properties
- 9 Regular sequences and enumeration problems
- 10 Synchronized sequences
- 11 Additive number theory
- 12 Paperfolding sequences
- 13 A final word
- Bibliography
- Index
Contents
Published online by Cambridge University Press: 09 September 2022
Book contents
- Frontmatter
- Contents
- Preface
- Permissions
- 1 Introduction
- 2 Words and sequences
- 3 Number representations and numeration systems
- 4 Automata
- 5 Automatic sequences
- 6 First-order logic and automatic sequences
- 7 Using Walnut
- 8 First-order formulas for fundamental sequence properties
- 9 Regular sequences and enumeration problems
- 10 Synchronized sequences
- 11 Additive number theory
- 12 Paperfolding sequences
- 13 A final word
- Bibliography
- Index
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- The Logical Approach to Automatic SequencesExploring Combinatorics on Words with Walnut, pp. vii - xPublisher: Cambridge University PressPrint publication year: 2022