arXiv subjects
Publications and source records attributed to Marieh Jahannia.
We explore the Ziv-Lempel and Crochemore factorizations of some classical automatic sequences making an extensive use of the theorem prover Walnut.
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 $m$-bonacci words.
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.