Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut

Marieh Jahannia, Manon Stipulanti

Published: 2024-03-22

Comments: 15 pages, 2 figures

Note:

Publication:

formalized sequence

# BIB PDF ARXIV

We explore the Ziv-Lempel and Crochemore factorizations of some classical automatic sequences making an extensive use of the theorem prover Walnut.

arXiv++ Combinatorics