[en] We explore the Ziv-Lempel and Crochemore factorizations of some classical
automatic sequences making an extensive use of the theorem prover Walnut.Combinatorics on words
Disciplines :
Mathematics
Author, co-author :
Jahannia, Marieh
Stipulanti, Manon ; Université de Liège - ULiège > Département de mathématique > Mathématiques discrètes
Language :
English
Title :
Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut
