Jeffrey Shallit

activity

20172025

most citedDecidability and k-Regular Sequences

2 citations · 3 across the 11 of their papers we have counts for

collaborators

Showing 2022Show all

4 papers · 1 filter

math.CO2022

Some Tribonacci Conjectures

Jeffrey Shallit

In a recent talk of Robbert Fokkink, some conjectures related to the infinite Tribonacci word were stated by the speaker and the audience. In this note we show how to prove (or dis…

cs.FL2022

The First-Order Theory of Binary Overlap-Free Words is Decidable

L. Schaeffer, J. Shallit

We show that the first-order logical theory of the binary overlap-free words (and, more generally, the $α$ -free words for rational $α$ , $2 < α \leq 7/3$ ), is decidable. As a conseq…

math.CO2022

Record-Setters in the Stern Sequence

Ali Keramatipour, Jeffrey Shallit

Stern's diatomic series, denoted by $(a (n))_{n \geq 0}$ , is defined by the recurrence relations $a (2 n) = a (n)$ and $a (2 n + 1) = a (n) + a (n + 1)$ for $n \geq 1$ , and initial values…

cs.FL2022

Note on a Fibonacci Parity Sequence

Jeffrey Shallit

Let ftm = 0111010010001... be the analogue of the Thue-Morse sequence in Fibonacci representation. In this note we show how, using the Walnut theorem-prover, to obtain a measure of…