Rudin-Shapiro Sums Via Automata Theory and Logic.

Theory Comput Syst

School of Computer Science, University of Waterloo, Waterloo, ON N2L 3G1 Canada.

Published: January 2025

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.

Download full-text PDF

Source
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC11761984PMC
http://dx.doi.org/10.1007/s00224-025-10214-1DOI Listing

Publication Analysis

Top Keywords

rudin-shapiro sums
8
automata theory
8
sums automata
4
theory logic
4
logic unified
4
unified framework
4
framework provided
4
provided logic
4
logic automata
4
theory classical
4

Similar Publications

Want AI Summaries of new PubMed Abstracts delivered to your In-box?

Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!