Browsing Theses by Supervisor "Shallit, Jeffrey"
Now showing items 110 of 10

Automata and Ratio Sets
(University of Waterloo, 20221213)This thesis explores the composition of ratio sets, the subsets of the rationals derived from the quotients of two sets of natural numbers, and examines a variety of specific examples where the comprising sets of natural ... 
Counting Flimsy Numbers via Formal Language Theory
(University of Waterloo, 20210202)Let s_2(n) be the sum of the digits of n when expressed in base 2. For integers n and k, Stolarsky defined n to be kflimsy if s_2(kn) < s_2(n). In this paper, we generalize the definition of kflimsy numbers to all bases ... 
Counting, Adding, and Regular Languages
(University of Waterloo, 20181217)In this thesis we consider two mostly disjoint topics in formal language theory that both involve the study and use of regular languages. The first topic lies in the intersection of automata theory and additive number ... 
Decision Algorithms for OstrowskiAutomatic Sequences
(University of Waterloo, 20200513)We extend the notion of automatic sequences to a broader class, the Ostrowskiautomatic sequences. We develop a procedure for computationally deciding certain combinatorial and enumeration questions about such sequences ... 
Discriminators of Integer Sequences
(University of Waterloo, 20170828)The discriminator of an integer sequence \textbf{s} = $(s(n))_{n \geq 0}$, first introduced by Arnold, Benkoski and McCabe in 1985, is the function $D_s (n)$ that maps the integer $n \geq 1$ to the smallest positive integer ... 
On the Properties and Structure of Bordered Words and Generalizations
(University of Waterloo, 20221012)Combinatorics on words is a field of mathematics and theoretical computer science that is concerned with sequences of symbols called words, or strings. One class of words that are ubiquitous in combinatorics on words, ... 
Powers and AntiPowers in Binary Words
(University of Waterloo, 20190828)Fici et al. recently introduced the notion of antipowers in the context of combinatorics on words. A power (also called tandem repeat) is a sequence of consecutive identical blocks. An antipower is a sequence of consecutive ... 
Properties of TwoDimensional Words
(University of Waterloo, 20170421)Combinatorics on words in one dimension is a wellstudied subfield of theoretical computer science with its origins in the early 20th century. However, the closelyrelated study of twodimensional words is not as popular, ... 
Proving Properties of Fibonacci Representations via Automata Theory
(University of Waterloo, 20240122)In this work, we introduce a novel framework for mechanically testing the completeness and unambiguity of Fibonaccibased representations via automata theory. We call a representation (or a number system) complete and ... 
Using Automata Theory to Solve Problems in Additive Number Theory
(University of Waterloo, 20180430)Additive number theory is the study of the additive properties of integers. Perhaps the bestknown theorem is Lagrange’s result that every natural number is the sum of four squares. We study numbers whose basek representations ...