-
Exploring the Crochemore and Ziv-Lempel factorizations of some automatic sequences with the software Walnut
Abstract: We explore the Ziv-Lempel and Crochemore factorizations of some classical automatic sequences making an extensive use of the theorem prover Walnut.
Submitted 22 March, 2024; originally announced March 2024.
Comments: 15 pages, 2 figures
MSC Class: 1B85; 68R15
-
arXiv:2106.03202 [pdf, ps, other]
Closed Ziv-Lempel factorization of the $m$-bonacci words
Abstract: A word $w$ is said to be closed if it has a proper factor $x$ which occurs exactly twice in $w$, as a prefix and as a suffix of $w$. Based on the concept of Ziv-Lempel factorization, we define the closed $z$-factorization of finite and infinite words. Then we find the closed $z$-factorization of the infinite $m$-bonacci words for all $m \geq 2$. We also classify closed prefixes of the infinite… ▽ More
Submitted 6 June, 2021; originally announced June 2021.
-
arXiv:1905.01340 [pdf, ps, other]
Palindromic Ziv-Lempel and Crochemore Factorizations of $m$-Bonacci Infinite Words
Abstract: We introduce a variation of the Ziv-Lempel and Crochemore factorizations of words by requiring each factor to be a palindrome. We compute these factorizations for the Fibonacci word, and more generally, for all $m$-bonacci words.
Submitted 3 May, 2019; originally announced May 2019.
Comments: 34 pages
MSC Class: 68R15