Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut
arXiv:2403.15215
Abstract
We explore the Ziv-Lempel and Crochemore factorizations of some classical automatic sequences making an extensive use of the theorem prover Walnut.
15 pages, 2 figures