基于自动机理论与逻辑的稀疏 Thue-Morse 求和
数论
2023-02-23 v2 形式语言与自动机理论
摘要
令 表示 的基- 表示中 -比特的个数，并对 取模。我们展示了如何利用自动机理论和逻辑工具证明 Leo Moser 关于稀疏和 的经典猜想。同样的技术可用于证明关于类似求和的结果。
引用
@article{arxiv.2302.09436,
title = {Rarefied Thue-Morse Sums Via Automata Theory and Logic},
author = {Jeffrey Shallit},
journal= {arXiv preprint arXiv:2302.09436},
year = {2023}
}