Rudin-Shapiro Sums Via Automata Theory and Logic

arxiv（2023）

引用 0|浏览5

暂无评分

摘要

We show how to obtain, via a unified framework provided by logic and automata theory, many classical results of Brillhart and Morton on Rudin-Shapiro sums. The techniques also facilitate easy proofs for new results.

查看译文

关键词

automata theory,rudin-shapiro

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要