2022/10/08 by Jeffrey Shallit, Shallit, Jeffrey
Computer Science · Mathematics · Physics and Astronomy · #Advanced Mathematical Theories and Applications #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Geometric and Algebraic Topology #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2210.03996
openalex publication_date 2022/10/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 disprove) the claims easily in a "purely mechanical" fashion, using the Walnut theorem-prover.