Browsing Theses by Subject "decision procedures"
Now showing items 1-1 of 1
-
Decision Algorithms for Ostrowski-Automatic Sequences
(University of Waterloo, 2020-05-13)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 ...