会员服务
自动机理论 · 离散数学 ·
2023 年 4 月 2 日
Rudin-Shapiro Sums Via Automata Theory and Logic
翻译：Rudin-Shapiro和式的自动机理论和逻辑
Narad Rampersad,Jeffrey Shallit
Narad Rampersad,Jeffrey Shallit
from arxiv, This is the full version of a paper that has been accepted to the WORDS 2023 conference in Umea, Sweden

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和式的结果。这些技术还可以轻松证明新结果。
0
下载
关闭预览

相关内容

【干货书】数据分析优化，Optimization for Modern Data Analysis，117页pdf
【干货书】数据分析优化，Optimization for Modern Data Analysis，117页pdf
专知会员服务
60+阅读 · 2023年2月15日
【2022新书】谱图理论，Spectral Graph Theory，100页pdf
【2022新书】谱图理论，Spectral Graph Theory，100页pdf
专知会员服务
74+阅读 · 2022年4月15日
25节课学完线性代数，UCLA教授Artem Chernikov的教学课程视频上线了
25节课学完线性代数，UCLA教授Artem Chernikov的教学课程视频上线了
专知会员服务
22+阅读 · 2022年3月15日
【EPFL-Nicolas Boumal新书】光滑流形优化导论，362页pdf，An introduction to optimization on smooth manifolds
【EPFL-Nicolas Boumal新书】光滑流形优化导论，362页pdf，An introduction to optimization on smooth manifolds
专知会员服务
32+阅读 · 2022年3月4日
【干货书】代数计算导论，419页pdf
专知会员服务
72+阅读 · 2021年5月11日
【经典书】计算理论导论，482页pdf
【经典书】计算理论导论，482页pdf
专知会员服务
84+阅读 · 2021年4月10日
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
420+阅读 · 2021年1月11日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
【新书】Java企业微服务，Enterprise Java Microservices，272页pdf
【新书】Java企业微服务，Enterprise Java Microservices，272页pdf
专知会员服务
51+阅读 · 2020年1月30日
【神经网络数学的初学者指南】（A Beginner’s Guide to the Mathematics of Neural Networks），伦敦国王学院数学系教授| A. C. C. Coolen
【神经网络数学的初学者指南】（A Beginner’s Guide to the Mathematics of Neural Networks），伦敦国王学院数学系教授| A. C. C. Coolen
专知会员服务
53+阅读 · 2019年12月12日
NAM、RAS、MTLSum、BottleSUM…你都掌握了吗？一文总结文本摘要必备经典模型（二）
NAM、RAS、MTLSum、BottleSUM…你都掌握了吗？一文总结文本摘要必备经典模型（二）
机器之心
0+阅读 · 2022年10月16日
Purdue电子与计算机工程系李海桐NanoX实验室招收AI硬件全奖博士生（2023秋季）
Purdue电子与计算机工程系李海桐NanoX实验室招收AI硬件全奖博士生（2023秋季）
机器之心
0+阅读 · 2022年10月15日
CopyNet、SeqGAN、BERTSUM…你都掌握了吗？一文总结文本摘要必备经典模型（一）
CopyNet、SeqGAN、BERTSUM…你都掌握了吗？一文总结文本摘要必备经典模型（一）
机器之心
0+阅读 · 2022年10月9日
图神经网络理论基础 | 谱图理论 Ch1: Introduction
图神经网络理论基础 | 谱图理论 Ch1: Introduction
图与推荐
1+阅读 · 2022年8月18日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
【初学者指南】神经网络中的数学
【初学者指南】神经网络中的数学
专知
31+阅读 · 2019年12月16日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
R工程化—Rest API 之plumber包
R工程化—Rest API 之plumber包
R语言中文社区
11+阅读 · 2018年12月25日
【推荐】深度学习目标检测概览
【推荐】深度学习目标检测概览
机器学习研究会
10+阅读 · 2017年9月1日
度条件和连通度条件下任意可分图的研究
国家自然科学基金
0+阅读 · 2015年12月31日
对偶Auslander转置及其诱导模类的同调性质研究
国家自然科学基金
0+阅读 · 2015年12月31日
非光滑矩阵优化问题的理论与算法研究
国家自然科学基金
0+阅读 · 2013年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
几类Pfaffian图的结构性质研究
国家自然科学基金
0+阅读 · 2013年12月31日
线性算子数值域的几何特征
国家自然科学基金
0+阅读 · 2013年12月31日
关于图谱理论与符号模式矩阵幂敛性质的研究
国家自然科学基金
0+阅读 · 2012年12月31日
向量优化问题的近似解的最优性条件
国家自然科学基金
0+阅读 · 2012年12月31日
疯草内生真菌中苦马豆素合成调控基因的筛选与功能研究
国家自然科学基金
0+阅读 · 2012年12月31日
二阶逻辑的表达能力与计算复杂性
国家自然科学基金
0+阅读 · 2009年12月31日
Colloquium: Advances in automation of quantum dot devices control
Arxiv
0+阅读 · 2023年5月25日
What is a Theory ?
Arxiv
0+阅读 · 2023年5月25日
On Program Completion, with an Application to the Sum and Product Puzzle
Arxiv
0+阅读 · 2023年5月24日
Positive First-order Logic on Words and Graphs
Arxiv
0+阅读 · 2023年5月24日
Multi-Abstractive Neural Controller: An Efficient Hierarchical Control Architecture for Interactive Driving
Arxiv
0+阅读 · 2023年5月24日
Fair Division with Interdependent Values
Arxiv
0+阅读 · 2023年5月23日
A comparison between traditional and Serverless technologies in a microservices setting
Arxiv
0+阅读 · 2023年5月23日
On the relevance of APIs facing fairwashed audits
Arxiv
0+阅读 · 2023年5月23日
Development of Non-Linear Equations for Predicting Electrical Conductivity in Silicates
Arxiv
0+阅读 · 2023年5月22日
Agile, Antifragile, Artificial-Intelligence-Enabled, Command and Control
Arxiv
46+阅读 · 2021年9月14日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
自动机理论
离散数学
相关VIP内容
【干货书】数据分析优化，Optimization for Modern Data Analysis，117页pdf
【干货书】数据分析优化，Optimization for Modern Data Analysis，117页pdf
专知会员服务
60+阅读 · 2023年2月15日
【2022新书】谱图理论，Spectral Graph Theory，100页pdf
【2022新书】谱图理论，Spectral Graph Theory，100页pdf
专知会员服务
74+阅读 · 2022年4月15日
25节课学完线性代数，UCLA教授Artem Chernikov的教学课程视频上线了
25节课学完线性代数，UCLA教授Artem Chernikov的教学课程视频上线了
专知会员服务
22+阅读 · 2022年3月15日
【EPFL-Nicolas Boumal新书】光滑流形优化导论，362页pdf，An introduction to optimization on smooth manifolds
【EPFL-Nicolas Boumal新书】光滑流形优化导论，362页pdf，An introduction to optimization on smooth manifolds
专知会员服务
32+阅读 · 2022年3月4日
【干货书】代数计算导论，419页pdf
专知会员服务
72+阅读 · 2021年5月11日
【经典书】计算理论导论，482页pdf
【经典书】计算理论导论，482页pdf
专知会员服务
84+阅读 · 2021年4月10日
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
420+阅读 · 2021年1月11日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
【新书】Java企业微服务，Enterprise Java Microservices，272页pdf
【新书】Java企业微服务，Enterprise Java Microservices，272页pdf
专知会员服务
51+阅读 · 2020年1月30日
【神经网络数学的初学者指南】（A Beginner’s Guide to the Mathematics of Neural Networks），伦敦国王学院数学系教授| A. C. C. Coolen
【神经网络数学的初学者指南】（A Beginner’s Guide to the Mathematics of Neural Networks），伦敦国王学院数学系教授| A. C. C. Coolen
专知会员服务
53+阅读 · 2019年12月12日
热门VIP内容
相关资讯
NAM、RAS、MTLSum、BottleSUM…你都掌握了吗？一文总结文本摘要必备经典模型（二）
NAM、RAS、MTLSum、BottleSUM…你都掌握了吗？一文总结文本摘要必备经典模型（二）
机器之心
0+阅读 · 2022年10月16日
Purdue电子与计算机工程系李海桐NanoX实验室招收AI硬件全奖博士生（2023秋季）
Purdue电子与计算机工程系李海桐NanoX实验室招收AI硬件全奖博士生（2023秋季）
机器之心
0+阅读 · 2022年10月15日
CopyNet、SeqGAN、BERTSUM…你都掌握了吗？一文总结文本摘要必备经典模型（一）
CopyNet、SeqGAN、BERTSUM…你都掌握了吗？一文总结文本摘要必备经典模型（一）
机器之心
0+阅读 · 2022年10月9日
图神经网络理论基础 | 谱图理论 Ch1: Introduction
图神经网络理论基础 | 谱图理论 Ch1: Introduction
图与推荐
1+阅读 · 2022年8月18日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
【初学者指南】神经网络中的数学
【初学者指南】神经网络中的数学
专知
31+阅读 · 2019年12月16日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
R工程化—Rest API 之plumber包
R工程化—Rest API 之plumber包
R语言中文社区
11+阅读 · 2018年12月25日
【推荐】深度学习目标检测概览
【推荐】深度学习目标检测概览
机器学习研究会
10+阅读 · 2017年9月1日
相关论文
Colloquium: Advances in automation of quantum dot devices control
Arxiv
0+阅读 · 2023年5月25日
What is a Theory ?
Arxiv
0+阅读 · 2023年5月25日
On Program Completion, with an Application to the Sum and Product Puzzle
Arxiv
0+阅读 · 2023年5月24日
Positive First-order Logic on Words and Graphs
Arxiv
0+阅读 · 2023年5月24日
Multi-Abstractive Neural Controller: An Efficient Hierarchical Control Architecture for Interactive Driving
Arxiv
0+阅读 · 2023年5月24日
Fair Division with Interdependent Values
Arxiv
0+阅读 · 2023年5月23日
A comparison between traditional and Serverless technologies in a microservices setting
Arxiv
0+阅读 · 2023年5月23日
On the relevance of APIs facing fairwashed audits
Arxiv
0+阅读 · 2023年5月23日
Development of Non-Linear Equations for Predicting Electrical Conductivity in Silicates
Arxiv
0+阅读 · 2023年5月22日
Agile, Antifragile, Artificial-Intelligence-Enabled, Command and Control
Arxiv
46+阅读 · 2021年9月14日
相关基金
度条件和连通度条件下任意可分图的研究
国家自然科学基金
0+阅读 · 2015年12月31日
对偶Auslander转置及其诱导模类的同调性质研究
国家自然科学基金
0+阅读 · 2015年12月31日
非光滑矩阵优化问题的理论与算法研究
国家自然科学基金
0+阅读 · 2013年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
几类Pfaffian图的结构性质研究
国家自然科学基金
0+阅读 · 2013年12月31日
线性算子数值域的几何特征
国家自然科学基金
0+阅读 · 2013年12月31日
关于图谱理论与符号模式矩阵幂敛性质的研究
国家自然科学基金
0+阅读 · 2012年12月31日
向量优化问题的近似解的最优性条件
国家自然科学基金
0+阅读 · 2012年12月31日
疯草内生真菌中苦马豆素合成调控基因的筛选与功能研究
国家自然科学基金
0+阅读 · 2012年12月31日
二阶逻辑的表达能力与计算复杂性
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top