Rudin-Shapiro Sums Via Automata Theory and Logic

02/01/2023

∙

by   Narad Rampersad, et al.

∙

0

∙

share

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.