2 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. Const…
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 , ), is decidable. As a conseq…