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.

翻译：摘要：我们展示了如何通过逻辑与自动机理论提供的统一框架，获得Brillhart和Morton关于Rudin-Shapiro和的许多经典结果。这些技术同样为新结果的证明提供了简便途径。