Implementing WS1S via Finite Automata
WIA '96 Revised Papers from the First International Workshop on Implementing Automata
Implementing WS1S via Finite Automata: Performance Issues
WIA '97 Revised Papers from the Second International Workshop on Implementing Automata
Biinfinite words with maximal recurrent unbordered factors
Theoretical Computer Science
Automatic Sequences: Theory, Applications, Generalizations
Automatic Sequences: Theory, Applications, Generalizations
A proof of the extended Duval's conjecture
Theoretical Computer Science - Combinatorics on words
Periodicity and unbordered words: A proof of the extended duval conjecture
Journal of the ACM (JACM)
Periodicity, repetitions, and orbits of an automatic sequence
Theoretical Computer Science
Inverse star, borders, and palstars
Information Processing Letters
Enumeration and decidable properties of automatic sequences
DLT'11 Proceedings of the 15th international conference on Developments in language theory
A note on bifix-free sequences (Corresp.)
IEEE Transactions on Information Theory
Hi-index | 0.00 |
We describe a technique for mechanically proving certain kinds of theorems in combinatorics on words, using finite automata and a package for manipulating them. We illustrate our technique by applying it to (a) solve an open problem of Currie and Saari on the lengths of unbordered factors in the Thue-Morse sequence; (b) verify an old result of Prodinger and Urbanek on the paperfolding sequence and (c) find an explicit expression for the recurrence function for the Rudin-Shapiro sequence. All results were obtained by machine computations.