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和式的结果。这些技术还可以轻松证明新结果。