Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut
<|reference_start|>Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut: We explore the Ziv-Lempel and Crochemore factorizations of some classical automatic sequences making an extensive use of the theorem prover Walnut.<|reference_end|>
@article{jahannia2024exploring,
    title={Exploring the Crochemore and Ziv-Lempel factorizations of some automatic
  sequences with the software Walnut},
    author={Marieh Jahannia and Manon Stipulanti},
    journal={arXiv preprint arXiv:2403.15215},
    year={2024},
    archivePrefix={arXiv},
    eprint={2403.15215},
    primaryClass={cs.DM math.CO}
}