Decision Algorithms for Ostrowski-Automatic Sequences

Loading...
Thumbnail Image

Date

2020-05-13

Authors

Baranwal, Aseem

Advisor

Shallit, Jeffrey

Journal Title

Journal ISSN

Volume Title

Publisher

University of Waterloo

Abstract

We extend the notion of automatic sequences to a broader class, the Ostrowski-automatic sequences. We develop a procedure for computationally deciding certain combinatorial and enumeration questions about such sequences that can be expressed as predicates in first-order logic. In Chapter 1, we begin with topics and ideas that are preliminary to this work, including a small introduction to non-standard positional numeration systems and the relationship between words and automata. In Chapter 2, we define the theoretical foundations for recognizing addition in a generalized Ostrowski numeration system and formalize the general theory that develops our decision procedure. Next, in Chapter 3, we show how to implement these ideas in practice, and provide the implementation as an integration to the automatic theorem-proving software package -- Walnut. Further, we provide some applications of our work in Chapter 4. These applications span several topics in combinatorics on words, including repetitions, pattern-avoidance, critical exponents of special classes of words, properties of Lucas words, and so forth. Finally, we close with open problems on decidability and higher-order numeration systems and discuss future directions for research.

Description

Keywords

decision procedures, Ostrowski numeration, repetitions, combinatorics on words, palindrome-richness, automatic sequences

LC Keywords

Citation