形式语言与自动机理论

最近提交的作者和标题

• 2025年10月03日， 星期五
• 2025年10月02日， 星期四
• 2025年10月01日， 星期三
• 2025年09月30日， 星期二
• 2025年09月29日， 星期一

查看今天的 新的 变化

2025年10月03日， 星期五 (展示 2 之 2 条目 )

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

标题： MightyPPL：带有过去和Pnueli模态的MITL验证 显示英文标题

标题： MightyPPL: Verification of MITL with Past and Pnueli Modalities

Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh Pandya

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

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

标题： 高斯整数的科布姆定理 显示英文标题

标题： Cobham's theorem for the Gaussian integers

Álvaro Bustos-Gajardo, Robbert Fokkink, Reem Yassawi

评论： 15页，2图

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

2025年10月02日， 星期四

此时间段没有更新。

2025年10月01日， 星期三 (展示 3 之 3 条目 )

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

标题： 可读且自然语法的黑盒上下文无关文法推断 显示英文标题

标题： Black-box Context-free Grammar Inference for Readable & Natural Grammars

Mohammad Rifat Arefin, Shanto Rahman, Christoph Csallner

评论： 20页

主题： 软件工程 (cs.SE) ; 形式语言与自动机理论 (cs.FL) ; 编程语言 (cs.PL)

[4] arXiv:2509.26613 (交叉列表自 math.CO) [中文pdf, pdf, html, 其他]

标题： 群作用与关于$\mathbf{vtm}$的一些词组合学 显示英文标题

标题： Group Actions and Some Combinatorics on Words with $\mathbf{vtm}$

John Machacek

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

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

标题： 平衡斐波那契词矩形，以及更多 显示英文标题

标题： Balanced Fibonacci word rectangles, and beyond

Jeffrey Shallit, Ingrid Vukusic

主题： 数论 (math.NT) ; 离散数学 (cs.DM) ; 形式语言与自动机理论 (cs.FL) ; 组合数学 (math.CO)

2025年09月30日， 星期二 (展示 6 之 6 条目 )

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

标题： 单边同胚移位 显示英文标题

标题： One-sided Hom shifts

Marie-Pierre Béal, Alexi Block Gorman

主题： 形式语言与自动机理论 (cs.FL) ; 动力系统 (math.DS)

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

标题： 逻辑与自动机在理解Transformer中的作用 显示英文标题

标题： The Role of Logic and Automata in Understanding Transformers

Anthony W. Lin, Pablo Barcelo

评论： 受邀论文的预印本

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

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

标题： LTL$_f$学习与布尔集覆盖相结合 显示英文标题

标题： LTL$_f$ Learning Meets Boolean Set Cover

Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove

评论： 23页，4图

主题： 人工智能 (cs.AI) ; 形式语言与自动机理论 (cs.FL) ; 计算机科学中的逻辑 (cs.LO)

[9] arXiv:2509.22912 (交叉列表自 cs.IT) [中文pdf, pdf, html, 其他]

标题： 多头有限状态维数 显示英文标题

标题： Multihead Finite-State Dimension

Xiang Huang, Xiaoyuan Li, Jack H. Lutz, Neil Lutz

主题： 信息论 (cs.IT) ; 形式语言与自动机理论 (cs.FL) ; 优化与控制 (math.OC)

[10] arXiv:2509.22819 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 希尔伯特：使用非正式推理递归构建形式化证明 显示英文标题

标题： Hilbert: Recursively Building Formal Proofs with Informal Reasoning

Sumanth Varambally, Thomas Voice, Yanchao Sun, Zhifeng Chen, Rose Yu, Ke Ye

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

[11] arXiv:2501.06949 (交叉列表自 cs.DS) [中文pdf, pdf, 其他]

标题： 算法方面的某些生物启发操作 显示英文标题

标题： Algorithmical Aspects of Some Bio Inspired Operations

Marius Dumitran

评论： 博士论文

主题： 数据结构与算法 (cs.DS)

2025年09月29日， 星期一 (展示 4 之 4 条目 )

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

标题： 从循环神经网络中被动学习格自动机 显示英文标题

标题： Passive Learning of Lattice Automata from Recurrent Neural Networks

Jaouhar Slimi, Tristan Le Gall, Augustin Lemesle

评论： 10页，5图。将发表于OVERLAY 2025，第七届人工智能与形式验证国际研讨会，逻辑、自动机与综合

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

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

标题： 多重上下文无关语言的排列闭包 显示英文标题

标题： Permutation closure for multiple context-free languages

Andrew Duncan, Murray Elder, Lisa Frenkel, Mengfan Lyu

评论： 20页，5图

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

[14] arXiv:2509.22598 (交叉列表自 cs.CL) [中文pdf, pdf, html, 其他]

标题： 从形式语言理论到统计学习：子正则语言的有限可观察性 显示英文标题

标题： From Formal Language Theory to Statistical Learning: Finite Observability of Subregular Languages

Katsuhiko Hayashi, Hidetaka Kamigaito

评论： 12页，5图

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

[15] arXiv:2509.22215 (交叉列表自 cs.CR) [中文pdf, pdf, html, 其他]

标题： 学习、检查、测试 —— 使用自动机学习和模型检查进行安全测试 显示英文标题

标题： Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking

Stefan Marksteiner, Mikael Sjödin, Marjan Sirjani

评论： 19页，5图，2表，预印本提交至Elsevier 《计算机与安全》 - 原文摘要为符合arXiv要求而缩短

主题： 密码学与安全 (cs.CR) ; 形式语言与自动机理论 (cs.FL)