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 2025Show all

3 papers · 1 filter

cs.FL2025

Self-Verifying Predicates in Büchi Arithmetic

Mazen Khodier, Luke Schaeffer, Jeffrey Shallit

We discuss a technique, based on Angluin's algorithm, for automatically generating finite automata for various kinds of useful first-order logic formulas in Büchi arithmetic. Const…

math.CO2025★ 1 cited

Runs in Paperfolding Sequences

Jeffrey Shallit

The paperfolding sequences form an uncountable class of infinite sequences over the alphabet ${- 1, 1}$ that describe the sequence of folds arising from iterated folding of a pi…

math.CO2025

Cloitre's Self-Generating Sequence

Jeffrey Shallit

In 2009 Benoit Cloitre introduced a certain self-generating sequence $(a_{n})_{n \geq 1} = 1, 1, 2, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 2, \dots,$ with the property that the sum of th…