arXiv Open Access 2024

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

Marieh Jahannia Manon Stipulanti

Lihat Sumber

Abstrak

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

Topik & Kata Kunci

cs.DM math.CO

Penulis (2)

Marieh Jahannia

Manon Stipulanti

Format Sitasi

APA MLA BibTeX

Jahannia, M., Stipulanti, M. (2024). Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut. https://arxiv.org/abs/2403.15215

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2024
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓