利用软件 Walnut 探索某些自动序列的 Crochemore 和 Ziv-Lempel 分解

Marieh Jahannia; Manon Stipulanti

利用软件 Walnut 探索某些自动序列的 Crochemore 和 Ziv-Lempel 分解

离散数学 2024-03-25 v1 组合数学

作者: Marieh Jahannia , Manon Stipulanti

在 arXiv 上查看 ↗ PDF ↗

摘要

我们广泛利用定理证明器 Walnut，探索了一些经典自动序列的 Ziv-Lempel 和 Crochemore 分解。

关键词

自动序列 Ziv-Lempel 分解 Crochemore 分解 Walnut 定理证明器字上组合学

引用

@article{arxiv.2403.15215,
  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}
}