形式语言与自动机理论

最近提交的作者和标题

• 2025年06月02日， 星期一
• 2025年05月30日， 星期五
• 2025年05月29日， 星期四
• 2025年05月28日， 星期三
• 2025年05月27日， 星期二

查看今天的 新的 变化

2025年06月02日， 星期一 (展示 1 之 1 条目 )

[1] arXiv:2505.24110 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： 作为通用有限状态机的神经网络：NFA的构造性ReLU模拟框架 显示英文标题

标题： Neural Networks as Universal Finite-State Machines: A Constructive ReLU Simulation Framework for NFAs

Sahil Rajesh Dhayalkar

评论： 16页，附录中有证明

主题： 机器学习 (cs.LG) ; 形式语言与自动机理论 (cs.FL)

2025年05月30日， 星期五 (展示 1 之 1 条目 )

[2] arXiv:2505.23233 (交叉列表自 cs.FL) [中文pdf, pdf, 其他]

标题： 关注差距：关于日志与模型复杂度关系的形式化研究——扩展版 显示英文标题

标题： Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version

Patrizia Schalk, Artem Polyvyanyy

主题： 形式语言与自动机理论 (cs.FL)

2025年05月29日， 星期四

此时间段没有更新。

2025年05月28日， 星期三 (展示 2 之 2 条目 )

[3] arXiv:2505.20547 (交叉列表自 cs.FL) [中文pdf, pdf, html, 其他]

标题： 一个推广Thue-Morse和Rudin-Shapiro序列的序列族 显示英文标题

标题： A Family of Sequences Generalizing the Thue Morse and Rudin Shapiro Sequences

Russell Jay Hendel

评论： 11页，1幅图。曾在（i）陶森大学数论研讨会上报告（4月25日），以及（ii）纽约数论研讨会上报告（4月25日）。作者打算在向任何期刊投稿之前再增加两部分内容（关于平方的顺序和边界）。

主题： 形式语言与自动机理论 (cs.FL)

[4] arXiv:2505.20748 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： INTERLEAVE：一种更快的最大强连通分量分解的符号算法 显示英文标题

标题： INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition

Suguman Bansal, Ramneet Singh

评论： 将于2025年第37届计算机辅助验证（CAV）国际会议发表

主题： 计算机科学中的逻辑 (cs.LO) ; 形式语言与自动机理论 (cs.FL) ; 编程语言 (cs.PL)

2025年05月27日， 星期二 (展示 4 之 4 条目 )

[5] arXiv:2505.18626 (交叉列表自 cs.FL) [中文pdf, pdf, html, 其他]

标题： 关于自动Baire性质的注记 显示英文标题

标题： A note on Automatic Baire property

Ludwig Staiger

主题： 形式语言与自动机理论 (cs.FL)

[6] arXiv:2505.20057 (交叉列表自 math.GR) [中文pdf, pdf, html, 其他]

标题： 关于具有EDT0L字问题的群 显示英文标题

标题： On groups with EDT0L word problem

Alex Bishop, Murray Elder, Alex Evetts, Paul Gallot, Alex Levine

评论： 35页，2个图

主题： 群论 (math.GR) ; 形式语言与自动机理论 (cs.FL)

[7] arXiv:2505.19141 (交叉列表自 math.NT) [中文pdf, pdf, html, 其他]

标题： S-单位方程在模论中的应用和线性指数丢番图方程 显示英文标题

标题： S-unit equations in modules and linear-exponential Diophantine equations

Ruiwen Dong, Doron Shafrir

评论： 80页，修正了一个名字的拼写错误。

主题： 数论 (math.NT) ; 形式语言与自动机理论 (cs.FL)

[8] arXiv:2505.18948 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： 带有填充的Transformer的精确表达能力 显示英文标题

标题： Exact Expressive Power of Transformers with Padding

William Merrill, Ashish Sabharwal

主题： 机器学习 (cs.LG) ; 计算复杂性 (cs.CC) ; 形式语言与自动机理论 (cs.FL)