基于自动机理论与逻辑的 Rudin-Shapiro 和
数论
2023-04-04 v3 离散数学
形式语言与自动机理论
组合数学
摘要
我们展示了如何通过逻辑与自动机理论所提供的统一框架，获得 Brillhart 与 Morton 关于 Rudin-Shapiro 和的诸多经典结果。这些技术也便于对新结果给出简洁的证明。
引用
@article{arxiv.2302.00405,
title = {Rudin-Shapiro Sums Via Automata Theory and Logic},
author = {Narad Rampersad and Jeffrey Shallit},
journal= {arXiv preprint arXiv:2302.00405},
year = {2023}
}
备注
This is the full version of a paper that has been accepted to the WORDS 2023 conference in Umea, Sweden