3 papers
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. Cons…
math.CO2025
Runs in Paperfolding Sequences
Jeffrey Shallit
The paperfolding sequences form an uncountable class of infinite sequences over the alphabet 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 with the property that the sum of th…